Structure CategoryTheory.CommShift₂Setup

Modification history

2025-12-11 08:08
Mathlib/CategoryTheory/Shift/CommShiftTwo.lean
feat(CategoryTheory): commutation of bifunctors with shifts in two variables (#32303) …
Added CategoryTheory.CommShift₂SetupView on Github →