Theorem CategoryTheory.NatTrans.CommShift.verticalComposition

Modification history

2024-07-01 14:30
Mathlib/CategoryTheory/Shift/CommShift.lean
feat(CategoryTheory/Shift): more compatibilities for NatTrans.CommShift (#14187) …
Added CategoryTheory.NatTrans.CommShift.verticalCompositionView on Github →