Def CategoryTheory.ShortComplex.RightHomologyMapData.add

Modification history

2023-10-27 08:10

Mathlib/Algebra/Homology/ShortComplex/Preadditive.lean

feat: more properties of homology in preadditive categories (#7817) …

Added CategoryTheory.ShortComplex.RightHomologyMapData.add View on Github →