`BookProof.ChapterCoherentTemperature.thermalRatio_lt_one` (h : 0 ≤ nbar) : thermalRatio nbar < 1

Initializing...

`BookProof.ChapterCoherentTemperature.thermalRatio_lt_one` (h : 0 ≤ nbar) : thermalRatio nbar < 1 · Prove2Me