This file contains results about the matrices corresponding to maps between tensor product types,
where the correspondence is induced by
TensorProduct.toMatrix_map shows that taking the tensor product of linear maps is
equivalent to taking the Kronecker product of their matrix representations.
TensorProduct.comm corresponds to a permutation of the identity matrix.
TensorProduct.assoc corresponds to a permutation of the identity matrix.