Theorem Ordinal.omega0_lt_omega1

Modification history