no goals
α : Type u_1
β : Type ?u.108610
γ : Type ?u.108613
δ : Type ?u.108616
ι : Type ?u.108619
inst✝ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s✝ s₁ s₂ t✝ s t : Set α
⊢ ↑↑μ (s ∆ t) = 0 ↔ s =ᵐ[μ] t
simp [ae_eq_set, symmDiff_def]