Theorem PGame.nim_one_moveLeft

Modification history