`BookProof.ChapterAbelianMixture.mixtureMeasure_diffuse_mass` : mixtureMeasure (Set.Icc (0 : ℝ) 1) = 1

Initializing...

`BookProof.ChapterAbelianMixture.mixtureMeasure_diffuse_mass` : mixtureMeasure (Set.Icc (0 : ℝ) 1) = 1 · Prove2Me