`PhysMeasureBasis.countable_atoms` {α : Type*} [MeasurableSpace α] [MeasurableSingletonClass α] (μ : Measure α) [IsFiniteMeasure μ] : {x

Initializing...

`PhysMeasureBasis.countable_atoms` {α : Type*} [MeasurableSpace α] [MeasurableSingletonClass α] (μ : Measure α) [IsFiniteMeasure μ] : {x | μ {x} ≠ 0}.Countable · Prove2Me