Theorem Polynomial.comp_C_mul_X_coeff

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_coeffView on Github →