Theorem Cardinal.lt_aleph0_iff_subtype_finite

Modification history