Theorem Ordinal.preOmega_le_preOmega

Modification history