Theorem CategoryTheory.shiftFunctorAdd'_add_zero

Modification history