mathlib

de6a9d41 - feat(ring_theory/polynomial/content): `gcd_monoid` instance on polynomials over gcd domain (#4760)

feat(ring_theory/polynomial/content): `gcd_monoid` instance on polynomials over gcd domain (#4760) Refactors `ring_theory/polynomial/content` a bit to introduce `prim_part` Provides a `gcd_monoid` instance on polynomials over a gcd domain