Def CategoryTheory.Functor.mapTriangleCompIso

Modification history

2024-06-24 08:03
Mathlib/CategoryTheory/Triangulated/Functor.lean
feat(CategoryTheory): more API for the commutation of functors with shifts (#13757) …
Added CategoryTheory.Functor.mapTriangleCompIsoView on Github →