Theorem PGame.rightMoves_add

Modification history