`PhysMeasureBasis.countable_null` {α : Type*} [MeasurableSpace α] [MeasurableSingletonClass α] (μ : Measure α) [NullSingletonClass μ] {s : Set α} (hs : s.Countable) : μ s = 0

Initializing...

`PhysMeasureBasis.countable_null` {α : Type*} [MeasurableSpace α] [MeasurableSingletonClass α] (μ : Measure α) [NullSingletonClass μ] {s : Set α} (hs : s.Countable) : μ s = 0 · Prove2Me