Theorem Ordinal.preOmega_omega0

Modification history