simp [compl_inter]
case h.e'_4
α : Type u_1
Ω : Type u_2
inst✝¹ : MeasurableSpace Ω
X Y : Ω → Set α
μ : Measure Ω
p q : ℝ≥0
hX : IsBernoulliSeq X p μ
hY : IsBernoulliSeq Y q μ
inst✝ : IsProbabilityMeasure μ
h : IndepFun X Y μ
⊢ (fun ω => X ω ∪ Y ω) = fun ω => ((X ω)ᶜ ∩ (Y ω)ᶜ)ᶜ
no goals