Theorem Ordinal.omega_lt_omega

Modification history