Theorem PGame.Subsequent.moveLeft

Modification history