ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3749 on R5524: Complex arithmetic expression for the determinant of a 3-by-3 complex square matrix
P3749
Follows by computing the definition using the permutation signs from R5522: Signs of length-3 standard permutations. $\square$