`BookProof.ChapterDisplacedThermalOverlap.inverseTemperature_zero` : inverseTemperature 0 = 1 / 2

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.inverseTemperature_zero` : inverseTemperature 0 = 1 / 2 · Prove2Me