`BookProof.ChapterThermalMaxEntropy.thermalEntropy_eq` (h : 0 < nbar) : thermalEntropy nbar = Real.log (nbar + 1) - nbar * Real.log (thermalRatio nbar)

Initializing...

`BookProof.ChapterThermalMaxEntropy.thermalEntropy_eq` (h : 0 < nbar) : thermalEntropy nbar = Real.log (nbar + 1) - nbar * Real.log (thermalRatio nbar) · Prove2Me