Theorem Ordinal.omega_max

Modification history