Theorem Ordinal.preOmega_ofNat

Modification history