Theorem Polynomial.comp_C_mul_X_eq_zero_iff

Modification history

2024-12-02 07:36
Mathlib/Algebra/Polynomial/Eval/Degree.lean
feat(Polynomial): new lemmas and noncommutative generalizations (#19665) …
Added Polynomial.comp_C_mul_X_eq_zero_iffView on Github →