Theorem SetTheory.PGame.lf_iff_lt

Modification history