Theorem Ordinal.omega_zero

Modification history