∀ {γ : Type u_3} {α : Type u_4} [inst : MeasurableSpace α] {s : Set γ} {f : γ → α}
  [MeasurableSpace.CountablySeparated α] [inst_2 : MeasurableSpace γ] [StandardBorelSpace γ],
  MeasurableSet s → Measurable f → Set.InjOn f s → MeasurableSet (f '' s)