no goals
α : Type u_1
β : Type ?u.112006
γ : Type ?u.112009
δ : Type ?u.112012
ι : Type ?u.112015
inst✝ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s✝ s₁ s₂ t✝ s t : Set α
⊢ sᶜ =ᵐ[μ] t ↔ s =ᵐ[μ] tᶜ
rw [← ae_eq_set_compl_compl, compl_compl]