mathlib

ba6b6899 - feat(field_theory/intermediate_field): coe_pow (#6626)