feat(data/polynomial): polynomials over a field are a normalization domain (#560)
feat(data/polynomial): polynomials over a field are a normalization domain (#560)


leanprover-community/mathlib,leanprover-community/mathlib