Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-28 19:49 8d24a1fe

View on Github →

refactor(category_theory/shift): make shifts more flexible (#10573)

Estimated changes