Theorem Ordinal.omega0_le_omega

Modification history