`BookProof.ChapterDisplacedThermalOverlap.inverseTemperature_pos` (nbar : ℝ≥0) : 0 < inverseTemperature nbar

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.inverseTemperature_pos` (nbar : ℝ≥0) : 0 < inverseTemperature nbar · Prove2Me