Theorem SetTheory.PGame.lt_iff_exists_le

Modification history