Theorem Polynomial.ker_modByMonicHom

Modification history

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 →