no goals
α : Type u_2
β : Type ?u.67250
R : Type ?u.67253
R' : Type ?u.67256
ms : Set (OuterMeasure α)
m : OuterMeasure α
ι : Sort u_1
f : ι → OuterMeasure α
s : Set α
⊢ ↑(⨆ (i : ι), f i) s = ⨆ (i : ι), ↑(f i) s
rw [iSup, sSup_apply, iSup_range, iSup]