Theorem Cardinal.toNat_lt_iff_lt_of_lt_aleph0

Modification history