Theorem Ordinal.cof_preOmega

Modification history