Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-07-29 14:40
3c3f56ac
View on Github →
chore: move MvPolynomial.algebraMap_apply earlier (
#27631
)
Estimated changes
Modified
Mathlib/Algebra/MvPolynomial/Basic.lean
added
theorem
MvPolynomial.algebraMap_apply
Modified
Mathlib/Algebra/MvPolynomial/Eval.lean
deleted
theorem
MvPolynomial.algebraMap_apply