`BookProof.ChapterMeasureAtomicDiffuse.measurableSet_atomSet` [IsFiniteMeasure mu] : MeasurableSet (atomSet mu)

Initializing...

`BookProof.ChapterMeasureAtomicDiffuse.measurableSet_atomSet` [IsFiniteMeasure mu] : MeasurableSet (atomSet mu) · Prove2Me