Theorem Matrix.mul_inv_of_invertible

Modification history