Theorem Ordinal.principal_opow_omega

Modification history