no goals
α : Type u_1
β : Type ?u.23881
R : Type ?u.23884
R' : Type ?u.23887
ms : Set (OuterMeasure α)
m μ₁ μ₂ : OuterMeasure α
h : ∀ (s : Set α), Set.Nonempty s → ↑μ₁ s = ↑μ₂ s
s : Set α
he : s = ∅
⊢ ↑μ₁ s = ↑μ₂ s
rw [he, empty', empty']