Theorem PGame.moveRight_nim'

Modification history