`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_nonneg` (h0 : 0 ≤ r) (h1 : r < 1) (n : ℕ) : 0 ≤ geometricOccupancy r n

Initializing...

`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_nonneg` (h0 : 0 ≤ r) (h1 : r < 1) (n : ℕ) : 0 ≤ geometricOccupancy r n · Prove2Me