Theorem SetTheory.PGame.forall_leftMoves_neg

Modification history