`BookProof.ChapterBornMeasure.bornMeasure_iUnion` (psi : Lp ℂ 2 μ) {s : ℕ → Set α} (hs : ∀ n, MeasurableSet (s n)) (hd : Pairwise (Function.onFun Disjoint s)) : bornMeasure psi (⋃

Initializing...

`BookProof.ChapterBornMeasure.bornMeasure_iUnion` (psi : Lp ℂ 2 μ) {s : ℕ → Set α} (hs : ∀ n, MeasurableSet (s n)) (hd : Pairwise (Function.onFun Disjoint s)) : bornMeasure psi (⋃ · Prove2Me