Theorem SetTheory.PGame.forall_rightMoves_neg

Modification history