Theorem CategoryTheory.shiftFunctorAdd'_zero_add

Modification history