no goals
α : Type u_1
β : Type ?u.4770
ι : Type ?u.4773
M : Type u_2
N : Type ?u.4779
inst✝¹ : One M
inst✝ : One N
s t : Set α
f g : α → M
a : α
⊢ (mulIndicator s f = fun x => 1) ↔ Disjoint (mulSupport f) s
simp only [funext_iff, mulIndicator_apply_eq_one, Set.disjoint_left, mem_mulSupport,
  not_imp_not]