Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-19 14:23
d9c90c6c
View on Github →
chore: forward-port leanprover-community/mathlib
#18599
(
#2954
)
Estimated changes
Modified
Mathlib/Data/MvPolynomial/Basic.lean
added
theorem
MvPolynomial.algebraMap_apply