Theorem PGame.leftMoves_nim

Modification history