no goals
α : Type u_1
β : Type ?u.7242
ι : Type ?u.7245
M : Type u_2
N : Type ?u.7251
inst✝¹ : One M
inst✝ : One N
s t : Set α
f g : α → M
a x : α
⊢ x ∈ mulSupport (mulIndicator s f) ↔ x ∈ s ∩ mulSupport f
simp [Function.mem_mulSupport, mulIndicator_apply_eq_one]