Tensor product
Tensor product of Hilbert spaces.