Theorem Matrix.inv_mul_eq_iff_eq_mul_of_invertible

Modification history