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) | $\text{Det} A$ is a D6173: Multiplicatively invertible real number |