Theorem SetTheory.PGame.moveLeft_neg_symm

Modification history