mathlib3

78fd58dd - feat(linear_algebra/multivariate_polynomial): add degrees