Def CategoryTheory.Triangulated.Subcategory.mk'

Modification history

2025-07-23 11:06
Mathlib/CategoryTheory/Triangulated/Subcategory.lean
refactor(CategoryTheory): redefine triangulated subcategories using ObjectProperty (#25931)
Deleted CategoryTheory.Triangulated.Subcategory.mk'View on Github →
2024-04-18 09:26
Mathlib/CategoryTheory/Triangulated/Subcategory.lean
feat(CategoryTheory): triangulated subcategories (#11740) …
Added CategoryTheory.Triangulated.Subcategory.mk'View on Github →