`BookProof.ChapterMixedPrior.continuousPart_eq_zero_of_isPurelyAtomic` {mu : Measure X} (h : IsPurelyAtomic mu) : continuousPart mu = 0

Initializing...

`BookProof.ChapterMixedPrior.continuousPart_eq_zero_of_isPurelyAtomic` {mu : Measure X} (h : IsPurelyAtomic mu) : continuousPart mu = 0 · Prove2Me