Theorem CategoryTheory.HasShift.Induced.add_hom_app_obj

Modification history