`BookProof.ChapterSoftmaxOrder.scoreSoftmax_inj_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_inj_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