Theorem Matrix.nonsing_inv_nonsing_inv

Modification history