Theorem CategoryTheory.NatTrans.shift_app_comm

Modification history

2025-01-03 11:53
Mathlib/CategoryTheory/Shift/CommShift.lean
chore(CategoryTheory/Shift): fix NatTrans.CommShift (#20364) …
Added CategoryTheory.NatTrans.shift_app_commView on Github →