Theorem Cardinal.add_one_le_add_one_iff_of_lt_aleph_0

Modification history