Theorem Set.one_le_encard_iff_nonempty

Modification history