Theorem Cardinal.toPartENat_le_iff_of_lt_aleph0

Modification history