`BookProof.ChapterSoftmaxFluctuation.hasDerivAt_exp_mul` (beta c : ℝ) : HasDerivAt (fun b : ℝ => Real.exp (b * c)) (c * Real.exp (beta * c)) beta

Initializing...

`BookProof.ChapterSoftmaxFluctuation.hasDerivAt_exp_mul` (beta c : ℝ) : HasDerivAt (fun b : ℝ => Real.exp (b * c)) (c * Real.exp (beta * c)) beta · Prove2Me