Theorem MvPolynomial.prod_X_pow

Modification history

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