Theorem PGame.rightMoves_nim

Modification history