`BookProof.ChapterMeasureAtomicDiffuse.countable_atomSet` [IsFiniteMeasure mu] : (atomSet mu).Countable

Initializing...

`BookProof.ChapterMeasureAtomicDiffuse.countable_atomSet` [IsFiniteMeasure mu] : (atomSet mu).Countable · Prove2Me