Theorem Cardinal.toNat_le_iff_le_of_lt_aleph0

Modification history