Tensor product of complexes