mathlib3

985445f6 - feat(linear_algebra/multivariate_polynomial): relate total_degree to degrees, add, zero, mul