Theorem MvPolynomial.totalDegree_le_of_support_subset

Modification history

2024-03-04 20:11
Mathlib/Data/MvPolynomial/Degrees.lean
chore: split MvPolynomial.Variables (#11094) …
Modified MvPolynomial.totalDegree_le_of_support_subsetView on Github →
2023-12-04 20:27
Mathlib/Data/MvPolynomial/Variables.lean
feat: add a few lemmas about MvPolynomial.totalDegree (#8815) …
Added MvPolynomial.totalDegree_le_of_support_subsetView on Github →