Theorem SetTheory.PGame.lf_iff_exists_le

Modification history