Theorem SetTheory.PGame.Numeric.le_moveRight

Modification history