`BookProof.ChapterSoftmaxSharpness.scoreSoftmax_zero` (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax 0 s j = 1 / m

Initializing...

`BookProof.ChapterSoftmaxSharpness.scoreSoftmax_zero` (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax 0 s j = 1 / m · Prove2Me