`BookProof.ChapterSoftmaxJacobian.hasDerivAt_exp_score` (beta t₀ : ℝ) (c : ℝ) : HasDerivAt (fun t : ℝ => Real.exp (beta * (c + t))) (beta * Real.exp (beta * (c + t₀))) t₀

Initializing...

`BookProof.ChapterSoftmaxJacobian.hasDerivAt_exp_score` (beta t₀ : ℝ) (c : ℝ) : HasDerivAt (fun t : ℝ => Real.exp (beta * (c + t))) (beta * Real.exp (beta * (c + t₀))) t₀ · Prove2Me