`BookProof.ChapterAtomicDecomposition.atoms_countable` (mu : Measure X) [SFinite mu] : (atoms mu).Countable

Initializing...

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