mathlib
84ad3bfb
- feat(linear_algebra/matrix/nonsingular_inverse): invertibility of block matrices
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(linear_algebra/matrix/nonsingular_inverse): invertibility of block matrices Co-authored-by: Mohanad Ahmed <m.a.m.elhassan@gmail.com>
Author
eric-wieser
Committer
eric-wieser
Parents
996a8530
Loading