Def CategoryTheory.Functor.essImageDistTriang

Modification history

2024-06-04 08:15

Mathlib/CategoryTheory/Localization/Triangulated.lean

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

Added CategoryTheory.Functor.essImageDistTriang View on Github →