`BookProof.ChapterMaxEntropy.entropy_le_entropy_uniform` [Nonempty α] {p : α → ℝ} (hp : IsProb p) : entropy p ≤ entropy (uniform α)

Initializing...

`BookProof.ChapterMaxEntropy.entropy_le_entropy_uniform` [Nonempty α] {p : α → ℝ} (hp : IsProb p) : entropy p ≤ entropy (uniform α) · Prove2Me