mathlib

29fecae5 - feat(data/polynomial/degree/definitions): add pow lemmas (#10698)

feat(data/polynomial/degree/definitions): add pow lemmas (#10698) Add lemmas `nat_degree_pow_le` and `coeff_pow_degree_mul_degree` Co-authored-by: greysome <ultraficial@gmail.com>