Theorem SetTheory.PGame.le_of_le_of_equiv

Modification history