Theorem Ordinal.cof_omega0

Modification history