Theorem Cardinal.preAleph_pos

Modification history