Leibniz formula for determinants (source code)

= Leibniz formula for determinants
{c}
{wiki}

= Leibniz formula for a determinant
{c}
{synonym}

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