Theorem SetTheory.PGame.lt_of_equiv_of_lt

Modification history