Tensor products

#REDIRECT [[Tensor product]]