Theorem Matrix.kroneckerMap_diagonal_right

Modification history