Theorem SetTheory.PGame.moveRight_neg_toRightMovesNeg

Modification history