Theorem Cardinal.toNat_add_of_lt_aleph0

Modification history