ChainComplexMap ** ChainComplex -- tensor product

• Operator: **

Description

f ** C -- tensor product of a map of chain complexes with a chain complex.