2021-04-16 22:20

src/category_theory/triangulated/basic.lean

feat(category_theory/triangulated/pretriangulated): add definition of pretriangulated categories and triangulated functors between them (#7153) …

Added category_theory.triangulated.triangle.mk