`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_tsum_one` (h0 : 0 ≤ r) (h1 : r < 1) : ∑' n : ℕ, geometricOccupancy r n = 1

Initializing...

`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_tsum_one` (h0 : 0 ≤ r) (h1 : r < 1) : ∑' n : ℕ, geometricOccupancy r n = 1 · Prove2Me