`BookProof.ChapterSoftmaxDivergence.klDiv_scoreSoftmax_self` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : klDiv (scoreSoftmax beta s) (scoreSoftmax beta s) = 0

Initializing...

`BookProof.ChapterSoftmaxDivergence.klDiv_scoreSoftmax_self` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : klDiv (scoreSoftmax beta s) (scoreSoftmax beta s) = 0 · Prove2Me