Theorem SetTheory.PGame.lf_iff_sub_zero_lf

Modification history