Theorem Cardinal.preAleph_succ

Modification history