no goals
α : Type u_1
inst✝ : MeasurableSpace α
μ : MeasureTheory.Measure α
f g : α → ℝ
s : Set α
hf : Measurable f
⊢ MeasurableSet {p | p.snd = f p.fst}
simpa using measurableSet_region_between_cc hf hf MeasurableSet.univ