`BookProof.ChapterMixedPrior.eq_zero_of_noAtoms_of_isPurelyAtomic` (mu : Measure X) [NullSingletonClass mu] (h : IsPurelyAtomic mu) : mu = 0

Initializing...

`BookProof.ChapterMixedPrior.eq_zero_of_noAtoms_of_isPurelyAtomic` (mu : Measure X) [NullSingletonClass mu] (h : IsPurelyAtomic mu) : mu = 0 · Prove2Me