`BookProof.ChapterSelectingEvents.singleton_null_in_continuous` {α : Type*} [MeasurableSpace α] (μ : Measure α) [NullSingletonClass μ] (x : α) : μ {x} = 0

Initializing...

`BookProof.ChapterSelectingEvents.singleton_null_in_continuous` {α : Type*} [MeasurableSpace α] (μ : Measure α) [NullSingletonClass μ] (x : α) : μ {x} = 0 · Prove2Me