Theorem Matrix.mul_eq_mul

Modification history