Theorem Matrix.single_mul_mul_single

Modification history