Tensor product
Tensor product of graded vector spaces