Def category_theory.shift_zero

Modification history