no goals
α : Type u_2
β : Type u_1
R : Type ?u.3292
R' : Type ?u.3295
ms : Set (OuterMeasure α)
m✝ : OuterMeasure α
inst✝ : Countable β
m : OuterMeasure α
s : β → Set α
h : ∀ (i : β), ↑m (s i) = 0
⊢ ↑m (⋃ (i : β), s i) = 0
simpa [h] using m.iUnion s