Theorem PGame.moveLeft_neg

Modification history