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