`BookProof.ChapterDisplacedThermalOverlap.dtBorn_eq_softmax` {m : ℕ} (nbar : ℝ≥0) (q : ℝ) (k : Fin m → ℝ) (j : Fin m) : dtBorn nbar q k j = BookProof.ChapterSoftmaxSharpness.scoreS

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.dtBorn_eq_softmax` {m : ℕ} (nbar : ℝ≥0) (q : ℝ) (k : Fin m → ℝ) (j : Fin m) : dtBorn nbar q k j = BookProof.ChapterSoftmaxSharpness.scoreS · Prove2Me