Theorem Matrix.invOf_eq_nonsing_inv

Modification history