Theorem Polynomial.comp_X_add_C_eq_zero_iff

Modification history

2026-09-01 22:08
Mathlib/Algebra/Polynomial/AlgebraMap.lean
chore(Algebra/Polynomial/Div): generalize `rootMultiplicity` lemmas to non-commutative rings (#43279)
Modified Polynomial.comp_X_add_C_eq_zero_iffView on Github →
2024-10-22 13:55
Mathlib/Algebra/Polynomial/AlgebraMap.lean
chore(Algebra/Polynomial/RingDivision): move lemmas earlier (#18050) …
Modified Polynomial.comp_X_add_C_eq_zero_iffView on Github →
2023-12-13 19:05
Mathlib/Data/Polynomial/RingDivision.lean
feat(Data/Polynomial/RingDivision): improvements to `Polynomial.rootMultiplicity` (#8563) …
Added Polynomial.comp_X_add_C_eq_zero_iffView on Github →