Theorem CategoryTheory.shiftFunctorAdd_zero_add_hom_app

Modification history