no goals
α : Type u_1
β : Type ?u.111469
γ : Type ?u.111472
δ : Type ?u.111475
ι : Type ?u.111478
inst✝ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s✝ s₁ s₂ t✝ s t : Set α
⊢ sᶜ =ᵐ[μ] tᶜ ↔ s =ᵐ[μ] t
simp only [← measure_symmDiff_eq_zero_iff, compl_symmDiff_compl]