`BookProof.ChapterMaxEntropy.IsProb.le_one` {p : α → ℝ} (hp : IsProb p) (i : α) : p i ≤ 1

Initializing...

`BookProof.ChapterMaxEntropy.IsProb.le_one` {p : α → ℝ} (hp : IsProb p) (i : α) : p i ≤ 1 · Prove2Me