Name for determinant identity

linear-algebra matrices determinant terminology

Let $A$ be an $N\times N$ square matrix. There exists a determinant identity $$\operatorname{det}\left(I+A\right)=1+\sum_m A_{mm}+\frac1{2!}\sum_{m,n}\left| \begin{array}{cc} A_{mm} & A_{mn} \\ A_{nm} & A_{nn}\end{array}\right|+ \frac1{3!}\sum_{m,n,l}\left| \begin{array}{ccc} A_{mm} & A_{mn} & A_{ml} \\ A_{nm} & A_{nn} & A_{nl} \\ A_{lm} & A_{ln} & A_{ll}\end{array}\right|+\ldots$$ Could you please recall me how is this relation usually named?


Jean Dieudonné in his "History of functional analysis" refers to this identity as to von Koch's formula. There a few more references which seem to confirm this naming.

Related

Developing Mathematic Intuition
$(a+b)^2+4ab$ and $a^2+b^2$ are both squares
Expectation of Last Remaining Container
For which integers $a,b$ does $ab-1$ divide $a^3+1$?
A problem involving the product $\prod_{k=1}^{n} k^{\mu(k)}$, where $\mu$ denotes the Möbius function
Prove the n-th power of a matrix is the null matrix
Prove that $(2^n-1)(3^n-1)$ is not a perfect square
Formal symbol for the integer division operation
Is there an extension of the integers where the "sum of natural numbers" is rigorous?
A trivial combinatorics result I found, is my proof correct?
Why are metrics defined as functions in $\mathbb{R}^{+}$?
Prove known closed form for $\int_0^\infty e^{-x}I_0\left(\frac{x}{3}\right)^3\;dx$