Equivalence theorem for nonsingular matrices: there is a pivot position in every row of A.
Theorem: An $n \times n$ matrix $A$ is nonsingular iff there is a pivot position in every row. With $n$ pivots in an $n \times n$ matrix, the RREF is $I$.
Now you are in the subtree of Container for Linear Algebra project.