Theorem Ordinal.omega0_lt_preOmega_iff

Modification history