`BookProof.ChapterDisplacedThermalOverlap.dtBorn_temperature_coth` {x : ℝ} (hx : 0 < x) : ((BookProof.ChapterBoseEinstein.boseEinstein x).toNNReal : ℝ) + 1 / 2 = Real.cosh (x / 2)

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.dtBorn_temperature_coth` {x : ℝ} (hx : 0 < x) : ((BookProof.ChapterBoseEinstein.boseEinstein x).toNNReal : ℝ) + 1 / 2 = Real.cosh (x / 2) · Prove2Me