Theorem CategoryTheory.ShortComplex.eq_liftCycles_homologyπ_up_to_refinements

Modification history

2024-06-24 10:09
Mathlib/CategoryTheory/Abelian/Refinements.lean
feat: the mapping cone of a monomorphism, up to a quasi-isomorphism (#13675) …
Added CategoryTheory.ShortComplex.eq_liftCycles_homologyπ_up_to_refinementsView on Github →