P
Initializing...
`BookProof.ChapterAbelianMixture.mixtureMeasure_atom` : mixtureMeasure {(2 : ℝ)} = 1 · Prove2Me