next | previous | forward | backward | up | top | index | toc | home

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