Theorem Cardinal.preAleph_max

Modification history