Theorem Matrix.invOf_add_mul_mul

Modification history

2025-04-30 12:59

Mathlib/Data/Matrix/Invertible.lean

chore: more whitespace fixes (#24472) …

Modified Matrix.invOf_add_mul_mul View on Github →

2024-09-26 03:24

Mathlib/Data/Matrix/Invertible.lean

feat(LinearAlgebra/Matrix): Woodbury Identity (#16325) …

Added Matrix.invOf_add_mul_mul View on Github →