Theorem CategoryTheory.Triangulated.Localization.isTriangulated

Modification history

2024-06-06 14:57

Mathlib/CategoryTheory/Localization/Triangulated.lean

feat(CategoryTheory): localization of triangulated categories (#11786) …

Added CategoryTheory.Triangulated.Localization.isTriangulated View on Github →