mathlib

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