Theorem Ordinal.opow_omega0

Modification history