Theorem Matrix.mul_kronecker_mul

Modification history