Theorem Ordinal.omega_pos

Modification history