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