`BookProof.ChapterMixedPrior.atomless_prior_not_purelyAtomic` (mu : Measure X) [IsProbabilityMeasure mu] [NullSingletonClass mu] : ¬ IsPurelyAtomic mu

Initializing...

`BookProof.ChapterMixedPrior.atomless_prior_not_purelyAtomic` (mu : Measure X) [IsProbabilityMeasure mu] [NullSingletonClass mu] : ¬ IsPurelyAtomic mu · Prove2Me