Theorem CategoryTheory.Pretriangulated.opShiftFunctorEquivalence_unitIso_inv_app_eq

Modification history

2024-10-17 15:41
Mathlib/CategoryTheory/Triangulated/Opposite.lean
feat(CategoryTheory/Shift): shifted morphisms in the opposite category (#17546) …
Added CategoryTheory.Pretriangulated.opShiftFunctorEquivalence_unitIso_inv_app_eqView on Github →