Theorem PGame.one_moveLeft

Modification history