Theorem CategoryTheory.shiftFunctorAdd_assoc

Modification history