`BookProof.LocalityConstraint.measurableSet_graphSet` {f : α → ℝ} (hf : Measurable f) : MeasurableSet (graphSet f)

Initializing...

`BookProof.LocalityConstraint.measurableSet_graphSet` {f : α → ℝ} (hf : Measurable f) : MeasurableSet (graphSet f) · Prove2Me