`BookProof.ChapterAttentionCoarseGrain.shannonEntropy_mergeWeights_le` {f : Fin m → Fin r} {p : Fin m → ℝ} (hp : ∀ x, 0 ≤ p x) : shannonEntropy (mergeWeights f p) ≤ shannonEntropy

Initializing...

`BookProof.ChapterAttentionCoarseGrain.shannonEntropy_mergeWeights_le` {f : Fin m → Fin r} {p : Fin m → ℝ} (hp : ∀ x, 0 ≤ p x) : shannonEntropy (mergeWeights f p) ≤ shannonEntropy · Prove2Me