no goals
α : Type u_1
β : Type ?u.10446
γ : Type ?u.10449
δ : Type ?u.10452
ι : Type ?u.10455
inst✝ : MeasurableSpace α
μ μ₁ μ₂ : Measure α
s✝ s₁ s₂ t s : Set α
⊢ ↑↑μ s = ↑(OuterMeasure.trim ↑μ) s
rw [μ.trimmed]