P
Initializing...
`BookProof.ChapterCoherentTemperature.half_lt_thermalTemperature` (h : 0 < nbar) : 1 / 2 < thermalTemperature nbar · Prove2Me