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

Initializing...

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