Theorem Cardinal.cast_toNat_of_aleph0_le

Modification history