Theorem CategoryTheory.shiftFunctorZero_hom_app_obj_of_induced

Modification history