Theorem Matrix.nonsing_inv_eq_ring_inverse

Modification history