Theorem Cardinal.preAleph_nat

Modification history