Theorem Ordinal.preOmega_zero

Modification history