Theorem Matrix.inv_inv_of_invertible

Modification history