Theorem SetTheory.PGame.leftMoves_ofLists

Modification history