Theorem Ordinal.preOmega_max

Modification history