`BookProof.ChapterBoseEinstein.thermalRatio_boseEinstein` (hx : 0 < x) : thermalRatio (boseEinstein x) = Real.exp (-x)

Initializing...

`BookProof.ChapterBoseEinstein.thermalRatio_boseEinstein` (hx : 0 < x) : thermalRatio (boseEinstein x) = Real.exp (-x) · Prove2Me