Theorem SetTheory.PGame.Numeric.moveLeft

Modification history