ThmDex – An index of mathematical definitions, results, and conjectures.
F13028
Formulation 0
Let $A \in \mathbb{R}^{N \times N}$ be an D4571: Real matrix such that
(i) $A$ is an D5871: Invertible real matrix
(ii) $B$ is an D2089: Inverse matrix for $A$
Then
(1) $A^T$ is an D5871: Invertible real matrix
(2) $B^T$ is an D2089: Inverse matrix for $A^T$