Theorem Cardinal.toPartENat_apply_of_aleph0_le

Modification history