mathlib

b51cee2b - feat(data/polynomial/coeff): Add smul_eq_C_mul (#7240)

feat(data/polynomial/coeff): Add smul_eq_C_mul (#7240) Adding a lemma `polynomial.smul_eq_C_mul` for single variate polynomials analogous to `mv_polynomial.smul_eq_C_mul` for multivariate.