Theorem SetTheory.PGame.rightMoves_mul_iff

Modification history