Def CategoryTheory.Functor.mapTriangleIso

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.mapTriangleIsoView on Github →