Theorem Cardinal.preAleph_le_of_isLimit

Modification history