`BookProof.ChapterThermalTemperatureCore.geometricMean_nonneg` (h0 : 0 ≤ r) (h1 : r < 1) : 0 ≤ geometricMean r

Initializing...

`BookProof.ChapterThermalTemperatureCore.geometricMean_nonneg` (h0 : 0 ≤ r) (h1 : r < 1) : 0 ≤ geometricMean r · Prove2Me