Theorem: CarlesonOperatorReal'_measurable (Carleson/Theorem1_1/CarlesonOperatorReal.lean)

State before:
f : ℝ → ℂ
hf : Measurable f
⊢ Measurable (T' f)
Tactic:
sorry
State after:
no goals