`BookProof.ChapterMAPNull.ae_not_mem_countable_map_set` (μ : Measure α) [NullSingletonClass μ] (maximizers : Set α) (hcountable : maximizers.Countable) : ∀ᵐ x ∂μ, x ∉ maximizers

Initializing...

`BookProof.ChapterMAPNull.ae_not_mem_countable_map_set` (μ : Measure α) [NullSingletonClass μ] (maximizers : Set α) (hcountable : maximizers.Countable) : ∀ᵐ x ∂μ, x ∉ maximizers · Prove2Me