Theorem Ordinal.opow_omega

Modification history