`BookProof.ChapterAtomicDecomposition.noAtoms_continuousPart` (mu : Measure X) [SFinite mu] : NullSingletonClass (continuousPart mu)

Initializing...

`BookProof.ChapterAtomicDecomposition.noAtoms_continuousPart` (mu : Measure X) [SFinite mu] : NullSingletonClass (continuousPart mu) · Prove2Me