Theorem SetTheory.PGame.exists_rightMoves_neg

Modification history