Theorem CategoryTheory.shiftFunctorCompIsoId_naturality_1

Modification history

2026-03-02 09:57
Mathlib/CategoryTheory/Shift/Basic.lean
feat(CategoryTheory/Triangulated): Rotated octahedron axiom (#35496) …
Added CategoryTheory.shiftFunctorCompIsoId_naturality_1View on Github →