Theorem CategoryTheory.Pretriangulated.opShiftFunctorEquivalence_counitIso_inv_app_shift

Modification history

2023-09-22 12:58
Mathlib/CategoryTheory/Triangulated/Opposite.lean
feat: the shift on the opposite category (#7324)
Added CategoryTheory.Pretriangulated.opShiftFunctorEquivalence_counitIso_inv_app_shiftView on Github →