Proof of several equivalences for nonsingular matrix

Created almost 9 years ago

Put content here.