Theorem Matrix.mul_mul_apply

Modification history