feat(data/polynomial/degree/basic): add lemmas dealing with monomials, their support and their nat_degrees (#4475)
feat(data/polynomial/degree/basic): add lemmas dealing with monomials, their support and their nat_degrees (#4475)





leanprover-community/mathlib,leanprover-community/mathlib