Theorem CategoryTheory.shiftFunctorAdd'_zero_add_hom_app

Modification history