mathlib

1589c7b4 - feat(linear_algebra/determinant): determinant of a linear equivalence as a unit (#10751)