no goals
α : Type u_2
ι : Sort u_1
s : Set α
m : ι → OuterMeasure α
⊢ ↑(restrict s) (⨅ (i : ι), ↑(restrict s) (m i)) = ↑(restrict (range Subtype.val)) (⨅ (i : ι), ↑(restrict s) (m i))
rw [Subtype.range_coe]