`BookProof.ChapterBoseEinstein.thermalTemperature_boseEinstein_eq_coth` (hx : 0 < x) : thermalTemperature (boseEinstein x) = Real.cosh (x / 2) / (2 * Real.sinh (x / 2))

Initializing...

`BookProof.ChapterBoseEinstein.thermalTemperature_boseEinstein_eq_coth` (hx : 0 < x) : thermalTemperature (boseEinstein x) = Real.cosh (x / 2) / (2 * Real.sinh (x / 2)) · Prove2Me