`BookProof.ChapterSoftmaxFluctuation.hasDerivAt_partition` (beta : ℝ) (s : Fin m → ℝ) : HasDerivAt (fun b : ℝ => partition b s) (∑ l, s l * Real.exp (beta * s l)) beta

Initializing...

`BookProof.ChapterSoftmaxFluctuation.hasDerivAt_partition` (beta : ℝ) (s : Fin m → ℝ) : HasDerivAt (fun b : ℝ => partition b s) (∑ l, s l * Real.exp (beta * s l)) beta · Prove2Me