ChainComplexMap ** ChainComplex -- tensor product

Synopsis

• Operator: **

Description

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

See also

• ChainComplexMap -- the class of all maps between chain complexes