Theorem Cardinal.isRegular_aleph_succ

Modification history