`BookProof.LocalityConstraint.graphSet_volume_null` {f : ℝ → ℝ} (hf : Measurable f) : (volume : Measure (ℝ × ℝ)) (graphSet f) = 0

Initializing...

`BookProof.LocalityConstraint.graphSet_volume_null` {f : ℝ → ℝ} (hf : Measurable f) : (volume : Measure (ℝ × ℝ)) (graphSet f) = 0 · Prove2Me