Theorem Ordinal.omega0_pos

Modification history