Theorem Matrix.single_mul_apply_same

Modification history