Leibniz formula for determinants (source code)

= Leibniz formula for determinants
{c}
{wiki}

For an $n$ by $n$ matrix,
$$
\det A=\sum_{\sigma\in S_n}\operatorname{sgn}(\sigma)
\prod_{i=1}^na_{i,\sigma(i)}.
$$