`BookProof.LocalityConstraint.graphSet_gaussian_null` (m₁ m₂ : ℝ) (v₁ : ℝ≥0) (v₂ : ℝ≥0) (hv₂ : v₂ ≠ 0) {f : ℝ → ℝ} (hf : Measurable f) : ((gaussianReal m₁...

Initializing...

`BookProof.LocalityConstraint.graphSet_gaussian_null` (m₁ m₂ : ℝ) (v₁ : ℝ≥0) (v₂ : ℝ≥0) (hv₂ : v₂ ≠ 0) {f : ℝ → ℝ} (hf : Measurable f) : ((gaussianReal m₁... · Prove2Me