Commit 2025-11-12 00:55 471a56e4
View on Github →feat(Data.Matrix.Invertible): the binomial inverse theorem (#31507) Proves the “binomial inverse theorem”, a variant of the Woodbury identity. This is one of the 1000+ list.
feat(Data.Matrix.Invertible): the binomial inverse theorem (#31507) Proves the “binomial inverse theorem”, a variant of the Woodbury identity. This is one of the 1000+ list.