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