Theorem PGame.zero_rightMoves

Modification history