Proof of several equivalences for nonsingular matrix

Created almost 9 years ago, updated 4 months ago