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

Simple properties of `polynomial.expand`.





leanprover-community/mathlib,leanprover-community/mathlib