Def CategoryTheory.ShortComplex.HomologyMapData.zero

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.zeroView on Github →