Theorem MvPolynomial.IsHomogeneous.sum

Modification history

2023-08-10 19:52
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified MvPolynomial.IsHomogeneous.sumView on Github →
2023-05-20 10:39
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
feat: port RingTheory.MvPolynomial.Homogeneous (#4138)
Added MvPolynomial.IsHomogeneous.sumView on Github →