∀ {α : Type u_1} {𝕜 : Type u_2} [inst : RCLike 𝕜] {m m₀ : MeasurableSpace α} {μ : MeasureTheory.Measure α} {f : α → 𝕜},
  MeasureTheory.AEStronglyMeasurable f μ → MeasureTheory.AEStronglyMeasurable (fun x => RCLike.re (f x)) μ