`BookProof.ChapterMAPNull.map_point_measure_zero` (μ : Measure α) [NullSingletonClass μ] (mapPoint : α) : μ {mapPoint} = 0

Initializing...

`BookProof.ChapterMAPNull.map_point_measure_zero` (μ : Measure α) [NullSingletonClass μ] (mapPoint : α) : μ {mapPoint} = 0 · Prove2Me