Theorem Ordinal.omega_le_omega

Modification history