Theorem Matrix.transpose_nonsing_inv

Modification history