`PhysMeasureBasis.null_singleton` {α : Type*} [MeasurableSpace α] (μ : Measure α) [MeasurableSingletonClass α] [NullSingletonClass μ] (a : α) : μ {a} = 0

Initializing...

`PhysMeasureBasis.null_singleton` {α : Type*} [MeasurableSpace α] (μ : Measure α) [MeasurableSingletonClass α] [NullSingletonClass μ] (a : α) : μ {a} = 0 · Prove2Me