Theorem Matrix.kroneckerMap_smul_left

Modification history