Theorem MvPolynomial.coeff_linearCombination_X_pow

Modification history

2026-03-27 13:44
Mathlib/Algebra/MvPolynomial/Coeff.lean
feat(Algebra/MvPolynomial/Coeff): add lemmas (#36444) …
Added MvPolynomial.coeff_linearCombination_X_powView on Github →