Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-08-08 00:29
417f29ae
View on Github →
fix(linear_algebra/multivariate_polynomial): remove some @[simp]
Estimated changes
Modified
linear_algebra/multivariate_polynomial.lean
modified
theorem
mv_polynomial.C_mul_monomial
modified
theorem
mv_polynomial.eval_monomial
modified
theorem
mv_polynomial.eval₂_mul_monomial