Theorem Cardinal.preAleph_omega0

Modification history