Theorem Matrix.smul_kroneckerTMul

Modification history