`BookProof.ChapterCoherentTemperature.one_sub_thermalRatio` (h : 0 ≤ nbar) : 1 - thermalRatio nbar = 1 / (nbar + 1)

Initializing...

`BookProof.ChapterCoherentTemperature.one_sub_thermalRatio` (h : 0 ≤ nbar) : 1 - thermalRatio nbar = 1 / (nbar + 1) · Prove2Me