Def category_theory.shift_functor_zero

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_functor_zeroView on Github →