simpa only [mem_ae_iff, compl_compl] using measure_union_null volume_singleton volume_singleton
case hU
𝕜 : Type u_1
E : Type u_2
V : Type u_3
r : ℝ
z : ℂ
a b t : ℝ
n : ℕ
⊢ {a, b}ᶜ ∈ Measure.ae volume
no goals