Theorem CategoryTheory.NatTrans.CommShift.app_shift

Modification history

2025-01-03 11:53

Mathlib/CategoryTheory/Shift/CommShift.lean

chore(CategoryTheory/Shift): fix NatTrans.CommShift (#20364) …

Deleted CategoryTheory.NatTrans.CommShift.app_shift View on Github →

2024-06-24 08:03

Mathlib/CategoryTheory/Shift/CommShift.lean

feat(CategoryTheory): more API for the commutation of functors with shifts (#13757) …

Added CategoryTheory.NatTrans.CommShift.app_shift View on Github →