`BookProof.ChapterMAPNull.countable_map_set_measure_zero` (μ : Measure α) [NullSingletonClass μ] (maximizers : Set α) (hcountable : maximizers.Countable) : μ maximizers = 0

Initializing...

`BookProof.ChapterMAPNull.countable_map_set_measure_zero` (μ : Measure α) [NullSingletonClass μ] (maximizers : Set α) (hcountable : maximizers.Countable) : μ maximizers = 0 · Prove2Me