Commit 2023-10-17 10:36 46b5f1b8

View on Github →

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

Estimated changes

added theorem Matrix.det_add_mul