Theorem Matrix.nonsing_inv_eq_ringInverse

Modification history