no goals
α : Type u_2
β : Type ?u.132859
γ : Type ?u.132862
δ : Type ?u.132865
ι : Type ?u.132868
inst✝¹ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s✝ s₁ s₂ t : Set α
M : Type u_1
inst✝ : One M
f : α → M
s : Set α
h : mulIndicator s f =ᵐ[μ] 1
⊢ ↑↑μ (s ∩ mulSupport f) = 0
simpa [Filter.EventuallyEq, ae_iff] using h