Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-08-13 12:33
67e2d508
View on Github →
feat: MvPolynomial.coeff_mapRange (
#27633
)
Estimated changes
Modified
Mathlib/Algebra/MvPolynomial/Basic.lean
added
theorem
MvPolynomial.coeff_mapRange
Modified
Mathlib/Algebra/MvPolynomial/Eval.lean