Tensor_product_of_modules loading ...