Mathlib Changelog
v4
Changelog
About
Github
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₂Setup
View on Github →