Theorem SetTheory.PGame.lf_of_lt_of_lf

Modification history