DET-0040: Properties of the Determinant
Overview
We summarize the properties of the determinant that we already proved, and prove that a matrix is singular if and only if its determinant is zero, the determinant of a product is the product of the determinants, and the determinant of the transpose is equal to the determinant of the matrix.