Theorem PGame.moveLeft_neg_symm

Modification history