Theorem Cardinal.preAleph_limit

Modification history