`BookProof.ChapterThermalTemperatureCore.thermal_temperature_eq_mean_half` {x : ℝ} (hx : 0 < x) : Real.cosh (x / 2) / (2 * Real.sinh (x / 2)) = (∑' n : ℕ, (n : ℝ) * thermalProb (bo

Initializing...

`BookProof.ChapterThermalTemperatureCore.thermal_temperature_eq_mean_half` {x : ℝ} (hx : 0 < x) : Real.cosh (x / 2) / (2 * Real.sinh (x / 2)) = (∑' n : ℕ, (n : ℝ) * thermalProb (bo · Prove2Me