no goals
α : Type u_2
β : Type u_1
M : Type u_3
inst✝ : One M
f : α → M
s : Set β
g : β → α
⊢ g '' s ∩ mulSupport f = g '' (s ∩ mulSupport (f ∘ g))
rw [mulSupport_comp_eq_preimage f g, image_inter_preimage]