`BookProof.ChapterSoftmaxOrder.scoreSoftmax_le_one` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta s j ≤ 1

Initializing...

`BookProof.ChapterSoftmaxOrder.scoreSoftmax_le_one` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta s j ≤ 1 · Prove2Me