ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13046 on R5508: Real square matrix invertible iff determinant nonzero
F13046
Formulation 0
Let $A \in \mathbb{R}^{N \times N}$ be a D6160: Real square matrix.
Then the following statements are equivalent
(1) $A$ is an D5871: Invertible real matrix
(2) \begin{equation} \text{Det} A \neq 0 \end{equation}