Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-12-04 20:27
0fee6f37
View on Github →
feat: add a few lemmas about MvPolynomial.totalDegree (
#8815
) From hairer.
Estimated changes
Modified
Mathlib/Data/MvPolynomial/CommRing.lean
added
theorem
MvPolynomial.totalDegree_sub_C_le
Modified
Mathlib/Data/MvPolynomial/Variables.lean
added
theorem
MvPolynomial.totalDegree_le_of_support_subset