`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_eq_thermalProb` (h0 : 0 ≤ r) (h1 : r < 1) (n : ℕ) : geometricOccupancy r n = thermalProb (geometricMean r) n

Initializing...

`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_eq_thermalProb` (h0 : 0 ≤ r) (h1 : r < 1) (n : ℕ) : geometricOccupancy r n = thermalProb (geometricMean r) n · Prove2Me