`BookProof.ChapterSoftmaxOrder.scoreSoftmax_le_iff` {beta : ℝ} (hbeta : 0 < beta) (s : Fin m → ℝ) (i j : Fin m) : scoreSoftmax beta s i ≤ scoreSoftmax beta s j ↔ s i ≤ s j

Initializing...

`BookProof.ChapterSoftmaxOrder.scoreSoftmax_le_iff` {beta : ℝ} (hbeta : 0 < beta) (s : Fin m → ℝ) (i j : Fin m) : scoreSoftmax beta s i ≤ scoreSoftmax beta s j ↔ s i ≤ s j · Prove2Me