Theorem Matrix.invOf_add_mul_mul'

Modification history

2025-11-12 00:55
Mathlib/Data/Matrix/Invertible.lean
feat(Data.Matrix.Invertible): the binomial inverse theorem (#31507) …
Added Matrix.invOf_add_mul_mul'View on Github →