Theorem Matrix.mul_nonsing_inv_cancel_left

Modification history