e/Sylvester's determinant theorem

Information
has gloss	eng: In matrix theory, Sylvester's determinant theorem is a theorem useful for evaluating certain types of determinants. It is named after James Joseph Sylvester.
lexicalization	eng: Sylvester's determinant theorem
instance of	(noun) a square matrix used to solve simultaneous equations determinant