P
Initializing...
`BookProof.ChapterSoftmaxOrder.scoreSoftmax_lt_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