Theorem Matrix.mul_inv_rev

Modification history