Theorem SetTheory.PGame.moveLeft_neg_toLeftMovesNeg

Modification history