Commit 2023-10-27 08:10 257fd3f4
View on Github →feat: more properties of homology in preadditive categories (#7817) This PR also introduces the notion of homotopy of morphisms between short complexes in preadditive categories.
feat: more properties of homology in preadditive categories (#7817) This PR also introduces the notion of homotopy of morphisms between short complexes in preadditive categories.