Theorem SetTheory.PGame.lf_of_equiv_of_lf

Modification history