no goals
α : Type u_1
β : Type u_2
γ : Type ?u.405214
δ : Type ?u.405217
inst✝² : AddCommGroup α
inst✝¹ : TopologicalSpace α
inst✝ : TopologicalAddGroup α
f g : β → α
a a₁ a₂ : α
hg : Summable g
hfg : Summable fun b => f b - g b
⊢ Summable f
simpa only [sub_add_cancel] using hfg.add hg