Theorem CategoryTheory.Functor.map_shiftFunctorComm_hom_app

Modification history

2024-06-04 08:15

Mathlib/CategoryTheory/Shift/CommShift.lean

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

Modified CategoryTheory.Functor.map_shiftFunctorComm_hom_app View on Github →

2023-12-26 12:09

Mathlib/CategoryTheory/Shift/CommShift.lean

feat(CategoryTheory/Triangulated): Functor.mapTriangle commutes with the shift (#9073) …

Added CategoryTheory.Functor.map_shiftFunctorComm_hom_app View on Github →