Theorem CategoryTheory.NatTrans.CommShift.comm_app

Modification history

2025-01-03 11:53
Mathlib/CategoryTheory/Shift/CommShift.lean
chore(CategoryTheory/Shift): fix NatTrans.CommShift (#20364) …
Deleted CategoryTheory.NatTrans.CommShift.comm_appView 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.comm_appView on Github →