Theorem Ordinal.principal_opow_ord

Modification history