Theorem Matrix.kroneckerMap_zero_right

Modification history