Theorem Matrix.kroneckerTMul_smul

Modification history