Rules
For A=n×n, either all hold true or none do:
- ∃A−1
- ∃!x∈Rn:Ax=b ∀ b∈Rn
- rref(A)=In
- rank(A)=n
- im(A)=Rn
- ker(A)={0}
- Column vectors of A form a basis of Rn
- Column vectors of A span Rn
- Column vectors of A are linearly independent
- detA=0
- 0 not an eigenvalue of A