Theorem CategoryTheory.ShortComplex.hasHomology_of_iso

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_of_isoView on Github →