Theorem Matrix.kroneckerMap_add_left

Modification history