Theorem SetTheory.PGame.moveLeft_neg

Modification history