Def Ordinal.preOmega

Modification history