Theorem Cardinal.toNat_eq_iff_eq_of_lt_aleph0

Modification history