Binet–Cauchy identity

The Binet–Cauchy identity is a result in combinatorics and linear algebra that relates the determinants of matrices and their block structures. It provides a way to compute the determinant of a block matrix in terms of the determinants of its components.