Theorem Cardinal.toPartENat_eq_top_iff_le_aleph0

Modification history