Theorem Matrix.kronecker_smul

Modification history