Determinant
Determinant of triangular matrix lemma
Row-linearity of determinant lemma
Determinant of a matrix with two equal rows lemma
Determinant of a matrix with a zero row lemma
Determinant after elementary row-operations lemma
Properties of elementary row-operations determinant lemma
Invertibility of matrix and determinant theorem
Determinant of two matrix product lemma