Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-02 04:55 556079b4

View on Github →

feat(ring_theory/polynomial/content): monic polynomials are primitive (#4862) Adds the lemma monic.is_primitive.

Estimated changes