Theorem MvPolynomial.expand_eq_zero

Modification history

2025-12-18 09:08
Mathlib/Algebra/MvPolynomial/Expand.lean
feat(RingTheory/MvPowerSeries): some APIs about `expand` (#33005) …
Added MvPolynomial.expand_eq_zeroView on Github →