Theorem Cardinal.isRegular_preAleph_succ

Modification history