Theorem SetTheory.PGame.moveRight_neg_symm

Modification history