# ChainComplex ** ChainComplexMap -- tensor product

• Operator: **

## Description

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