ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3746 on D398: Matrix transpose
Transpose of binary product of real matrices
Formulation 0
Let $A \in \mathbb{R}^{N \times M}$ and $B \in \mathbb{R}^{M \times K}$ each be a D4571: Real matrix.
Then \begin{equation} \left( A B \right)^T = B^T A^T \end{equation}