Theorem Cardinal.countable_iff_lt_aleph_one

Modification history