Theorem Matrix.inv_mul_of_invertible

Modification history