`BookProof.ChapterSoftmaxFluctuation.varScore_pos_of_ne` {beta : ℝ} {s : Fin m → ℝ} {a b : Fin m} (hab : s a ≠ s b) : 0 < varScore beta s

Initializing...

`BookProof.ChapterSoftmaxFluctuation.varScore_pos_of_ne` {beta : ℝ} {s : Fin m → ℝ} {a b : Fin m} (hab : s a ≠ s b) : 0 < varScore beta s · Prove2Me