Theorem SetTheory.PGame.lt_of_exists_le

Modification history