no goals
α : Type u_2
β : Type ?u.67774
R : Type ?u.67777
R' : Type ?u.67780
ms : Set (OuterMeasure α)
m : OuterMeasure α
ι : Sort u_1
f : ι → OuterMeasure α
s : Set α
⊢ ↑(⨆ (i : ι), f i) s = iSup (fun i => ↑(f i)) s
simp