Def CategoryTheory.ShortComplex.HomologyMapData.comp

Modification history

2023-09-08 11:01
Mathlib/Algebra/Homology/ShortComplex/Homology.lean
feat: definition of the homology of a short complex (#6994) …
Added CategoryTheory.ShortComplex.HomologyMapData.compView on Github →