mathlib

b7649bcd - doc(linear_algebra/determinant): Add a reference to is_basis.det (#5167)