Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix such that
(i) | $\lambda_1, \ldots, \lambda_N$ is a D6192: Complex matrix eigenvalue sequence for $A$ |
Then
\begin{equation}
\text{Det} A
= \prod_{n = 1}^N \lambda_n
\end{equation}