Theorem MvPolynomial.isHomogeneous_monomial
Modification history
2024-07-21 13:06
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
feat (Data.Finsupp.Weight) : general API for weights and size of finsupp (#14875) …
Modified MvPolynomial.isHomogeneous_monomialView on Github →2024-04-15 15:25
Mathlib/RingTheory/MvPolynomial/Homogeneous.lean
refactor(RingTheory.MvPolynomial.Homogeneous): refactor in terms of weightedHomogeneous (#7609) …
Modified MvPolynomial.isHomogeneous_monomialView on Github →