`BookProof.ChapterAbelianAtomicCondensation.atomic_measure_index_dichotomy` {X : Type*} [MeasurableSpace X] [MeasurableSingletonClass X] (mu : Measure X) [IsProbabilityMeasure mu]

Initializing...

`BookProof.ChapterAbelianAtomicCondensation.atomic_measure_index_dichotomy` {X : Type*} [MeasurableSpace X] [MeasurableSingletonClass X] (mu : Measure X) [IsProbabilityMeasure mu] · Prove2Me