Theorem CategoryTheory.Pretriangulated.shift_unop_opShiftFunctorEquivalence_counitIso_inv_app

Modification history

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