`BookProof.ChapterAtomicDecomposition.eq_continuousPart_add_atomicPart` (mu : Measure X) [SFinite mu] : mu = continuousPart mu + atomicPart mu

Initializing...

`BookProof.ChapterAtomicDecomposition.eq_continuousPart_add_atomicPart` (mu : Measure X) [SFinite mu] : mu = continuousPart mu + atomicPart mu · Prove2Me