Def CategoryTheory.Triangulated.Subcategory.isoClosure

Modification history

2025-07-23 11:06

Mathlib/CategoryTheory/Triangulated/Subcategory.lean

refactor(CategoryTheory): redefine triangulated subcategories using ObjectProperty (#25931)

Deleted CategoryTheory.Triangulated.Subcategory.isoClosure View on Github →

2024-04-18 09:26

Mathlib/CategoryTheory/Triangulated/Subcategory.lean

feat(CategoryTheory): triangulated subcategories (#11740) …

Added CategoryTheory.Triangulated.Subcategory.isoClosure View on Github →