no goals
α : Type u_1
β : Type ?u.98230
γ : Type ?u.98233
δ : Type ?u.98236
ι : Type ?u.98239
inst✝ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s✝ s₁ s₂ t s : Set α
⊢ sᶜ ∈ Measure.ae μ ↔ ↑↑μ s = 0
simp only [mem_ae_iff, compl_compl]