Theorem Ordinal.cof_succ

Modification history