Def CategoryTheory.Triangulated.Octahedron.ofIso

Modification history

2024-06-06 14:57

Mathlib/CategoryTheory/Triangulated/Triangulated.lean

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

Modified CategoryTheory.Triangulated.Octahedron.ofIso View on Github →

2024-02-19 20:27

Mathlib/CategoryTheory/Triangulated/Triangulated.lean

feat(CategoryTheory/Triangulated): more API (#10527) …

Added CategoryTheory.Triangulated.Octahedron.ofIso View on Github →