mathlib3

891a192f - refactor(ring_theory): move matrix to data and determinant to linear_algebra