Sylvester's determinant identity (source code)

= Sylvester's determinant identity
{wiki=Sylvester's_determinant_identity}

Sylvester's determinant identity is a theorem in linear algebra that relates the determinants of two matrices and their associated matrices.