`BookProof.ChapterBoseEinstein.thermalProb_boseEinstein` (hx : 0 < x) (n : ℕ) : thermalProb (boseEinstein x) n = (1 - Real.exp (-x)) * Real.exp (-x) ^ n

Initializing...

`BookProof.ChapterBoseEinstein.thermalProb_boseEinstein` (hx : 0 < x) (n : ℕ) : thermalProb (boseEinstein x) n = (1 - Real.exp (-x)) * Real.exp (-x) ^ n · Prove2Me