Theorem CategoryTheory.NatTrans.app_shift

Modification history

2025-01-03 11:53

Mathlib/CategoryTheory/Shift/CommShift.lean

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

Added CategoryTheory.NatTrans.app_shift View on Github →