content): Gauss's Lemma (irreducibility criterion) (#4861)

Commit

5 years ago

feat(ring_theory/polynomial/content): Gauss's Lemma (irreducibility criterion) (#4861) Proves that a primitive polynomial is irreducible iff it is irreducible over the fraction field

Author

awainverse

Parents

fdbfe755

mathlib 09afb046 - feat(ring_theory/polynomial/content): Gauss's Lemma (irreducibility criterion) (#4861)

mathlib
09afb046 - feat(ring_theory/polynomial/content): Gauss's Lemma (irreducibility criterion) (#4861)