Theorem CategoryTheory.shiftFunctorAdd'_assoc

Modification history