Def Matrix.invertibleAddMulMul'

Modification history

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