mathlib3
682f4b5a - feat(linear_algebra): module (vector space) structure for finsupp, matrix, and mv polynomials
