Theorem Ordinal.omega0_ne_zero

Modification history