Theorem MvPolynomial.coeff_expand_of_not_dvd

Modification history

2025-12-18 09:08
Mathlib/Algebra/MvPolynomial/Expand.lean
feat(RingTheory/MvPowerSeries): some APIs about `expand` (#33005) …
Modified MvPolynomial.coeff_expand_of_not_dvdView on Github →
2025-10-27 15:02
Mathlib/Algebra/MvPolynomial/Expand.lean
feat(MvPolynomial/Expand): more lemmas (#28833)
Added MvPolynomial.coeff_expand_of_not_dvdView on Github →