no goals
α : Type u_2
β : Type u_1
γ : Type ?u.26169
δ : Type ?u.26172
inst✝¹ : AddCommMonoid α
inst✝ : TopologicalSpace α
f g : β → α
a b : α
s✝ : Finset β
s : Set β
hf : support f ⊆ s
⊢ ∀ (x : β), (¬x ∈ Set.range fun a => ↑a) → f x = 0
simpa using support_subset_iff'.1 hf