Theorem PGame.moveRight_nim

Modification history