Theorem Matrix.kroneckerMap_diagonal_left

Modification history