mathlib

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