Commit 2026-08-13 09:18 026dd116
View on Github →chore: rename MvPolynomial.monomial_mul to monomial_mul_monomial (#42586) Rename MvPolynomial.monomial_mul to monomial_mul_monomial for consistency with analogous theorems. For example, Polynomial.monomial_mul_monomial. Deprecated aliases are added for backwards compatibility. Addresses item in https://github.com/leanprover-community/mathlib4/issues/21584.