Solution (source code)

= Solution

The <Leibniz formula for determinants> is unchanged by interchanging rows and columns, or equivalently replacing each <permutation> by its inverse. Thus
$$
\boxed{\det(A^T)=\det A.}
$$