feat(field_theory/splitting_field): splits_pow (#6624)
feat(field_theory/splitting_field): splits_pow (#6624)

If a polynomial splits then so do its powers.





leanprover-community/mathlib,leanprover-community/mathlib