Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-24 15:52
ff832ebe
View on Github →
chore: use alias for duplicate lemma MvPolynomial.eval₂Hom_C_left (
#17263
)
Estimated changes
Modified
Mathlib/Algebra/MvPolynomial/Monad.lean
deleted
theorem
MvPolynomial.eval₂Hom_C_left