Theorem PGame.moveLeft_neg_symm'

Modification history