Theorem SetTheory.PGame.Numeric.moveLeft_lt

Modification history