determinant): special case of the matrix determinant lemma (#12682)

Commit

3 years ago

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

Author

eric-wieser

Parents