Theorem Ordinal.ord_cof_eq

Modification history