I would like to understand in the snippet below in the definition $2.1$, what does it mean
for a game $(N,v)$ to have a nucleolus. And also what does $IG$ stand for.
Wikipedia mentions (here and here) that the Lie derivative has the following appealing commutator: $$[\mathcal{L}_X,\iota_Y]=\iota_{[X,Y]}$$ The only way I know to demonstrate this identity relies on coordinate-based manipulations, which are summarized (with a mistake) in this problem. I would ...
@MartinSleziak I wanted to pin these two messages to the side so that they are seen more easily by people coming in the room, but I think I messed up when trying to order them and now only the second one is pinned and i can't pin the other one.
Wikipedia mentions (here and here) that the Lie derivative has the following appealing commutator: $$[\mathcal{L}_X,\iota_Y]=\iota_{[X,Y]}$$ The only way I know to demonstrate this identity relies on coordinate-based manipulations, which are summarized (with a mistake) in this problem. I would ...
