Theorem SMZD Singular Matrices have Zero Determinants

Let $A$ be a square matrix. Then $A$ is singular if and only if $\detname{A}=0$.

Proof
(in context)