mathlib

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

refactor(category_theory/shift): make shifts more flexible (#10573) Co-authored-by: Andrew Yang <the.erd.one@gmail.com> Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com> Co-authored-by: erd1 <the.erd.one@gmail.com>