`BookProof.ChapterThermalMaxEntropy.thermalEntropy_boseEinstein` {x : ℝ} (hx : 0 < x) : thermalEntropy (boseEinstein x) = -Real.log (1 - Real.exp (-x)) + x * boseEinstein x

Initializing...

`BookProof.ChapterThermalMaxEntropy.thermalEntropy_boseEinstein` {x : ℝ} (hx : 0 < x) : thermalEntropy (boseEinstein x) = -Real.log (1 - Real.exp (-x)) + x * boseEinstein x · Prove2Me