Theorem Matrix.mul_single_apply_same

Modification history