Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.is_unit_prim_part_C

Modification history

2020-10-24 05:36

src/ring_theory/polynomial/content.lean

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

Added polynomial.is_unit_prim_part_C View on Github →