Def MvPolynomial.homogeneousComponent

Modification history

2026-02-09 08:58
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
chore(style): remove duplicate instance hypotheses (#35002) …
Modified MvPolynomial.homogeneousComponentView on Github →
2023-05-20 10:39
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
feat: port RingTheory.MvPolynomial.Homogeneous (#4138)
Added MvPolynomial.homogeneousComponentView on Github →