`BookProof.ChapterSoftmaxSharpness.tendsto_scoreSoftmax_ne` (s : Fin m → ℝ) (j i : Fin m) (hmax : ∀ l, l ≠ j → s l < s j) (hi : i ≠ j) : Tendsto (fun b : ℝ => scoreSoftmax b s i) a

Initializing...

`BookProof.ChapterSoftmaxSharpness.tendsto_scoreSoftmax_ne` (s : Fin m → ℝ) (j i : Fin m) (hmax : ∀ l, l ≠ j → s l < s j) (hi : i ≠ j) : Tendsto (fun b : ℝ => scoreSoftmax b s i) a · Prove2Me