Tensor product
Tensor product of vector bundles