mathlib

bc140d29 - feat(data/polynomial/degree/lemmas): add some lemmas and rename some lemmas (#13235)

feat(data/polynomial/degree/lemmas): add some lemmas and rename some lemmas (#13235) rename `nat_degree_mul_C_eq_of_no_zero_divisors` to `nat_degree_mul_C` rename `nat_degree_C_mul_eq_of_no_zero_divisors` to `nat_degree_C_mul`