Theorem Polynomial.mul_coeff_one

Modification history

2024-08-21 18:42
Mathlib/Algebra/Polynomial/Coeff.lean
chore(Algebra/Prod): add `Prod.mk_one_one` (#15922) …
Added Polynomial.mul_coeff_oneView on Github →