content): monic polynomials are primitive (#4862)

Commit

5 years ago

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

References

Author

awainverse

Parents