Theorem SetTheory.PGame.Numeric.left_lt_right

Modification history