`BookProof.ChapterSelectingEvents.finite_set_null_in_continuous` {α : Type*} [MeasurableSpace α] (μ : Measure α) [NullSingletonClass μ] (s : Finset α) : μ (s : Set α) = 0

Initializing...

`BookProof.ChapterSelectingEvents.finite_set_null_in_continuous` {α : Type*} [MeasurableSpace α] (μ : Measure α) [NullSingletonClass μ] (s : Finset α) : μ (s : Set α) = 0 · Prove2Me