Theorem Matrix.kroneckerMap_single_single

Modification history