Theorem CategoryTheory.shiftFunctorAdd_add_zero_hom_app

Modification history