(quote **,GradedModule,ChainComplex)
C**D
-- the tensor product of a graded module with a chain complex.
The result is a chain complex.
