Theorem Cardinal.toPartENat_le_iff_of_le_aleph0

Modification history