Theorem Ordinal.preOmega_lt_preOmega

Modification history