`BookProof.ChapterAtomicDecomposition.measurableSet_atoms` (mu : Measure X) [SFinite mu] : MeasurableSet (atoms mu)

Initializing...

`BookProof.ChapterAtomicDecomposition.measurableSet_atoms` (mu : Measure X) [SFinite mu] : MeasurableSet (atoms mu) · Prove2Me