Theorem SetTheory.PGame.mk_lf_of_le

Modification history