feat(data/mv_polynomial/variables): add `mv_polynomial.degree_of_zero` (#10768)
feat(data/mv_polynomial/variables): add `mv_polynomial.degree_of_zero` (#10768)






leanprover-community/mathlib,leanprover-community/mathlib