mathlib3

7defe7df - feat(field_theory/separable): add expand_eval and expand_monic (#10965)