mathlib3

4665cf59 - fix(linear_algebra/alternating, linear_algebra/multilinear): fixed linter complaints