Theorem MvPolynomial.isWeightedHomogeneous_zero_iff_weightedTotalDegree_eq_zero

Modification history

2024-04-15 15:25
Mathlib/RingTheory/MvPolynomial/WeightedHomogeneous.lean
refactor(RingTheory.MvPolynomial.Homogeneous): refactor in terms of weightedHomogeneous (#7609) …
Added MvPolynomial.isWeightedHomogeneous_zero_iff_weightedTotalDegree_eq_zeroView on Github →