`BookProof.ChapterCoherentTemperature.thermalTemperature_vacuum` : thermalTemperature 0 = 1 / 2

Initializing...

`BookProof.ChapterCoherentTemperature.thermalTemperature_vacuum` : thermalTemperature 0 = 1 / 2 · Prove2Me