Theorem SetTheory.PGame.lf_mk_of_le

Modification history