ChainComplexMap ** ChainComplexMap -- tensor product

Synopsis

• Operator: **

Description

f ** g -- tensor product of two maps of chain complexes.

See also

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