Def CategoryTheory.Triangulated.Localization.pretriangulated

Modification history

2024-06-04 08:15

Mathlib/CategoryTheory/Localization/Triangulated.lean

feat(CategoryTheory): localization of pretriangulated categories (#11738) …

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