Theorem Polynomial.ker_modByMonicHom

Modification history

2024-12-02 11:22
Mathlib/Algebra/Polynomial/RingDivision.lean
chore(Algebra/Polynomial): don't import `Ideal` when defining `Polynomial.roots` (#19376) …
Modified Polynomial.ker_modByMonicHomView on Github →
2024-11-11 20:18
Mathlib/Algebra/Polynomial/RingDivision.lean
chore: move results about the kernel of Polynomial.modByMonicHom earlier (#18883) …
Modified Polynomial.ker_modByMonicHomView on Github →
2023-03-30 13:14
Mathlib/RingTheory/Polynomial/Basic.lean
feat: port RingTheory.Polynomial.Basic (#3067)
Added Polynomial.ker_modByMonicHomView on Github →