Mathlib Changelog
v4
Changelog
About
Github
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 →