Theorem SetTheory.PGame.lt_of_lt_of_equiv

Modification history