Theorem Cardinal.toPartENat_apply_of_lt_aleph0

Modification history