Theorem PGame.rightMoves_mul

Modification history