For square $A$, $\det A^T=\det A$. In the permutation expansion, relabeling each permutation by its inverse matches the two sums, preserving signs. Consequently every row-based determinant identity has a corresponding column-based identity.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.