`BookProof.ChapterBoseEinstein.thermalTemperature_boseEinstein` (hx : 0 < x) : thermalTemperature (boseEinstein x) = (Real.exp x + 1) / (2 * (Real.exp x

Initializing...

`BookProof.ChapterBoseEinstein.thermalTemperature_boseEinstein` (hx : 0 < x) : thermalTemperature (boseEinstein x) = (Real.exp x + 1) / (2 * (Real.exp x - 1)) · Prove2Me