Theorem CategoryTheory.Triangulated.Subcategory.ext₁

Modification history

2025-07-23 11:06
Mathlib/CategoryTheory/Triangulated/Subcategory.lean
refactor(CategoryTheory): redefine triangulated subcategories using ObjectProperty (#25931)
Deleted CategoryTheory.Triangulated.Subcategory.ext₁View on Github →
2025-02-26 09:05
Mathlib/CategoryTheory/Triangulated/Subcategory.lean
refactor(CategoryTheory): introduce ObjectProperty (#22286) …
Modified CategoryTheory.Triangulated.Subcategory.ext₁View on Github →
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 →