Theorem Matrix.single_kroneckerTMul_single

Modification history