Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.det_neg_eq_smul

Modification history

2022-03-02 14:31

src/linear_algebra/matrix/determinant.lean

feat(linear_algebra/matrix.determinant): add `matrix.det_neg` (#12396)

Added matrix.det_neg_eq_smul View on Github →