Theorem Ordinal.preOmega_natCast

Modification history