Every elementary matrix is invertible.
65432
Prove that every elementary matrix is invertible, and the inverse is again an elementary matrix.
4151
Every subspace of a vector space has a complement
39334
Non-degenerate bilinear forms and invertible matrices
75066
If the product of two square matrices is invertible, then both matrices are invertible
134244
Determinant of a matrix will all off-diagonal elements equal
35834
Is the product of any two invertible diagonalizable matrices diagonalizable?
147797
If $A$ is an invertible matrix, then the column span of $A$ equals $F^{n\times1}$
47589
Product of a primitive matrix and its transpose.
33559
Product or sum of invertible matrix give an invertible matrix?
32064
Zero-dimensional matrices
126990
Invertible matrix and inverse matrix
116136
Proof that the inverse of a square matrix is unique
64644
An $r\times r$ submatrix of independent rows and independent columns is invertible (Michael Artin's book).
133036
Jordan normal form and invertible matrix of generalized eigenvectors proof
87451
Construction of matrices under ZFC axioms
146487
Can a non-square matrix be called "invertible"?
89553
proof that every finite matrix has an annihilating polynomial