Theorem SetTheory.PGame.exists_leftMoves_neg

Modification history