Theorem CategoryTheory.isTriangulated_of_essSurj_mapComposableArrows_two

Modification history

2024-06-06 14:57
Mathlib/CategoryTheory/Triangulated/Functor.lean
feat(CategoryTheory): localization of triangulated categories (#11786) …
Added CategoryTheory.isTriangulated_of_essSurj_mapComposableArrows_twoView on Github →