Def category_theory.shift_functor_neg_comp_shift_functor

Modification history