∀ {γ : Type u_3} {δ : Type u_5} [inst : TopologicalSpace γ] [inst_1 : MeasurableSpace γ] [BorelSpace γ]
  [inst_3 : MeasurableSpace δ] {f : δ → γ},
  (∀ (s : Set γ), IsClosed s → s.Nonempty → s ≠ Set.univ → MeasurableSet (f ⁻¹' s)) → Measurable f