(quote **,ChainComplex,ChainComplexMap)
C ** f
-- tensor product of a chain complex with a map of chain complexes.
See also
ChainComplexMap
.
