determinant): special case of the matrix determinant lemma

Commit

3 years ago

feat(linear_algebra/matrix/determinant): special case of the matrix determinant lemma

Author

eric-wieser

Committer

eric-wieser

Parents