Def Matrix.invertibleAddMulMul

Modification history

2025-04-30 12:59

Mathlib/Data/Matrix/Invertible.lean

chore: more whitespace fixes (#24472) …

Modified Matrix.invertibleAddMulMul View on Github →

2024-09-26 03:24

Mathlib/Data/Matrix/Invertible.lean

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

Added Matrix.invertibleAddMulMul View on Github →