Theorem Matrix.mul_kroneckerTMul_mul

Modification history