Theorem CategoryTheory.shiftFunctorAdd_assoc_hom_app

Modification history