Def category_theory.shift_add

Modification history

2021-12-28 19:49
src/category_theory/shift.lean
refactor(category_theory/shift): make shifts more flexible (#10573)
Added category_theory.shift_addView on Github →