Theorem Ordinal.coe_preOmega

Modification history