`BookProof.LocalityConstraint.not_isProbabilityMeasure_restrict_graphSet` (μ : Measure α) (ν : Measure ℝ) [SFinite ν] [NullSingletonClass ν] {f : α → ℝ} (hf : Measurable f) : ¬ IsP

Initializing...

`BookProof.LocalityConstraint.not_isProbabilityMeasure_restrict_graphSet` (μ : Measure α) (ν : Measure ℝ) [SFinite ν] [NullSingletonClass ν] {f : α → ℝ} (hf : Measurable f) : ¬ IsP · Prove2Me