`BookProof.ChapterCoherentTemperature.thermalProb_second_moment` (h : 0 ≤ nbar) : ∑' n : ℕ, (n : ℝ) ^ 2 * thermalProb nbar n = 2 * nbar ^ 2 + nbar

Initializing...

`BookProof.ChapterCoherentTemperature.thermalProb_second_moment` (h : 0 ≤ nbar) : ∑' n : ℕ, (n : ℝ) ^ 2 * thermalProb nbar n = 2 * nbar ^ 2 + nbar · Prove2Me