Theorem Matrix.det_add_mul

Modification history

2023-10-17 10:36

Mathlib/LinearAlgebra/Matrix/SchurComplement.lean

feat(LinearAlgebra/Matrix/SchurComplement): adding matrix determinant lemma (#7086)

Added Matrix.det_add_mul View on Github →