Theorem CategoryTheory.ShortComplex.HasHomology.mk'

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.HasHomology.mk'View on Github →