Theorem Cardinal.isRegular_succ

Modification history