mathlib

92e90786 - fix(linear_algebra/matrix/determinant): remove coercions (#9975)