Theorem MvPolynomial.zero_divMonomial

Modification history

2026-10-14 14:59
Mathlib/Algebra/MvPolynomial/Division.lean
chore(Algebra/MvPolynomial/Division): change local notation `%ᵐᵒⁿᵒᵐⁱᵃˡ` → `%ᵐ` (#44744) …
Modified MvPolynomial.zero_divMonomialView on Github →
2023-03-27 12:09
Mathlib/Data/MvPolynomial/Division.lean
feat: port Data.MvPolynomial.Division (#3100)
Added MvPolynomial.zero_divMonomialView on Github →