Def CategoryTheory.Triangulated.Octahedron.map

Modification history

2024-06-06 14:57

Mathlib/CategoryTheory/Triangulated/Functor.lean

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

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