`BookProof.ChapterAbelianMixture.mixtureMeasure_not_atomless` : mixtureMeasure {(2 : ℝ)} ≠ 0

Initializing...

`BookProof.ChapterAbelianMixture.mixtureMeasure_not_atomless` : mixtureMeasure {(2 : ℝ)} ≠ 0 · Prove2Me