Theorem Matrix.kroneckerMap_map_left

Modification history