Theorem Ordinal.omega0_le_preOmega_iff

Modification history