Theorem MvPolynomial.degreeOf_monomial_eq

Modification history

2024-12-20 05:45
Mathlib/Algebra/MvPolynomial/Degrees.lean
chore(*): drop some `[Decidable*]` assumptions (#19988) …
Modified MvPolynomial.degreeOf_monomial_eqView on Github →
2024-11-05 13:38
Mathlib/Algebra/MvPolynomial/Degrees.lean
feat(RingTheory/IntegralClosure/IsIntegralClosure/Basic): Add lemmas about MvPolynomial and Polynomial (#18244) …
Added MvPolynomial.degreeOf_monomial_eqView on Github →