Theorem Cardinal.preAleph_zero

Modification history