Def category_theory.shift_shift_neg

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