mathlib3

c4cf4c25 - feat(algebra/polynomial/big_operators): coeff of sums and prods of polynomials (#8680)

feat(algebra/polynomial/big_operators): coeff of sums and prods of polynomials (#8680) Additionally, provide results for degree and nat_degree over lists, which generalize away from requiring commutativity.