`BookProof.ChapterEntropyTemperature.hasDerivAt_attentionEntropy_neg_heatCapacity` {beta : ℝ} (hbeta : beta ≠ 0) (s : Fin m → ℝ) (i : Fin m) : HasDerivAt (fun b : ℝ => attentionEnt

Initializing...

`BookProof.ChapterEntropyTemperature.hasDerivAt_attentionEntropy_neg_heatCapacity` {beta : ℝ} (hbeta : beta ≠ 0) (s : Fin m → ℝ) (i : Fin m) : HasDerivAt (fun b : ℝ => attentionEnt · Prove2Me