mathlib3

1f4f2e42 - refactor(*): move matrix.lean to data/ and determinant.lean to linear_algebra/ (#779)