no goals
α : Type u_1
β : Type ?u.9977
γ : Type ?u.9980
δ : Type ?u.9983
ι : Type ?u.9986
inst✝ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s s₁ s₂ t : Set α
h : ∀ (s : Set α), MeasurableSet s → ↑↑μ₁ s = ↑↑μ₂ s
⊢ ↑μ₁ = ↑μ₂
rw [← trimmed, OuterMeasure.trim_congr (h _), trimmed]