Def category_theory.shift_monoidal_functor

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