`BookProof.ChapterMaxEntropy.entropy_nonneg` {p : α → ℝ} (hp : IsProb p) : 0 ≤ entropy p

Initializing...

`BookProof.ChapterMaxEntropy.entropy_nonneg` {p : α → ℝ} (hp : IsProb p) : 0 ≤ entropy p · Prove2Me