Theorem SetTheory.PGame.rightMoves_mul

Modification history