Theorem Ordinal.cof_omega

Modification history