Theorem Matrix.nonsing_inv_mul

Modification history