Theorem Cardinal.preAleph_le_of_isSuccPrelimit

Modification history