Theorem CategoryTheory.ShortComplex.hasHomology_of_isIso_leftRightHomologyComparison'

Modification history

2023-09-18 15:32
Mathlib/Algebra/Homology/ShortComplex/Homology.lean
feat: study of the left/right homology comparison morphism (#7192) …
Added CategoryTheory.ShortComplex.hasHomology_of_isIso_leftRightHomologyComparison'View on Github →