Theorem Matrix.single_mul_single_same

Modification history