no goals
α : Type u_2
β✝ : Type ?u.117782
R : Type ?u.117785
R' : Type ?u.117788
ms : Set (OuterMeasure α)
m✝ : OuterMeasure α
β : Type u_1
f : α → β
m : OuterMeasure β
s : Set β
⊢ f '' (f ⁻¹' s) = Subtype.val '' (Subtype.val ⁻¹' s)
simp only [image_preimage_eq_inter_range, Subtype.range_coe]