Theorem Cardinal.toPartENat_eq_iff_of_le_aleph0

Modification history