Theorem Cardinal.le_aleph0_iff_subtype_countable

Modification history