mathlib3

11a365de - feat(linear_algebra/matrix): add variants of the existing `det_units_conj` lemmas (#12881)