Theorem Cardinal.toENat_eq_iff_of_le_aleph0

Modification history