Theorem MvPolynomial.coeff_expand_zero

Modification history

2025-12-18 21:53
Mathlib/Algebra/MvPolynomial/Expand.lean
chore(RingTheory/PowerSeries/Expand): tidy up some proofs (#33057) …
Added MvPolynomial.coeff_expand_zeroView on Github →