Theorem CategoryTheory.Triangulated.Subcategory.ext₁'

Modification history

2024-06-04 08:15

Mathlib/CategoryTheory/Triangulated/Subcategory.lean

feat(CategoryTheory): the class of morphisms whose cone belongs to a triangulated subcategory (#11789) …

Added CategoryTheory.Triangulated.Subcategory.ext₁'View on Github →