(quote **,ChainComplexMap,ChainComplexMap)
f ** g
-- tensor product of two maps of chain complexes.
See also
ChainComplexMap
.
