Equivalence theorem for nonsingular matrices: the equation Ax=0 has only the trivial solution.

Created over 8 years ago, updated 3 months ago