Injective_tensor_product loading ...