Theorem CategoryTheory.shiftFunctorAdd'_assoc_hom_app

Modification history