Theorem Polynomial.coeff_map_eq_comp

Modification history

2024-11-17 16:01
Mathlib/Algebra/Polynomial/Eval/Coeff.lean
feat(Polynomial): composing with the constant polynomial (#19090) …
Added Polynomial.coeff_map_eq_compView on Github →