Theorem SetTheory.PGame.rightMoves_ofLists

Modification history