`BookProof.LocalityConstraint.graphSet_null` (μ : Measure α) (ν : Measure ℝ) [SFinite ν] [NullSingletonClass ν] {f : α → ℝ} (hf : Measurable f) : (μ.prod ν) (graphSet f) = 0

Initializing...

`BookProof.LocalityConstraint.graphSet_null` (μ : Measure α) (ν : Measure ℝ) [SFinite ν] [NullSingletonClass ν] {f : α → ℝ} (hf : Measurable f) : (μ.prod ν) (graphSet f) = 0 · Prove2Me