Theorem: An $n \times n$ matrix $A$ is nonsingular iff $\dim(\text{Col}(A)) = n$, i.e., $\text{rank}(A) = n$. A full-rank square matrix is nonsingular.
Theorem: An $n \times n$ matrix $A$ is nonsingular iff $\dim(\text{Col}(A)) = n$, i.e., $\text{rank}(A) = n$. A full-rank square matrix is nonsingular.