`BookProof.ChapterAbelianMixture.mixtureMeasure_diffuse_point` {x : ℝ} (hx : x ∈ Set.Icc (0 : ℝ) 1) : mixtureMeasure {x} = 0

Initializing...

`BookProof.ChapterAbelianMixture.mixtureMeasure_diffuse_point` {x : ℝ} (hx : x ∈ Set.Icc (0 : ℝ) 1) : mixtureMeasure {x} = 0 · Prove2Me