Chain-homotopic chain maps

Definition
Two defining ingredient::chain maps between defining ingredient::chain complexes are said to be chain-homotopic if there is a defining ingredient::chain homotopy between them.

Relation with other properties

 * Homology-equivalent chain maps