Theorem MvPolynomial.monomial_mul_monomial

Modification history

2026-08-13 09:18
Mathlib/Algebra/MvPolynomial/Basic.lean
chore: rename MvPolynomial.monomial_mul to monomial_mul_monomial (#42586) …
Added MvPolynomial.monomial_mul_monomialView on Github →