Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-02 14:31 7959d982

View on Github →

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

Estimated changes

Modified src/linear_algebra/general_linear_group.lean

Modified src/linear_algebra/matrix/determinant.lean

added theorem matrix.det_neg

added theorem matrix.det_neg_eq_smul

modified theorem matrix.det_smul

added theorem matrix.det_smul_of_tower