`BookProof.ChapterCoherentTemperature.thermalRatio_nonneg` (h : 0 ≤ nbar) : 0 ≤ thermalRatio nbar

Initializing...

`BookProof.ChapterCoherentTemperature.thermalRatio_nonneg` (h : 0 ≤ nbar) : 0 ≤ thermalRatio nbar · Prove2Me