Theorem Matrix.mul_nonsing_inv_cancel_right

Modification history