Theorem PGame.one_rightMoves

Modification history