Theorem PGame.moveLeft_nim

Modification history