`BookProof.ChapterCoherentTemperature.thermalTemperature_strictMono` : StrictMono thermalTemperature

Initializing...

`BookProof.ChapterCoherentTemperature.thermalTemperature_strictMono` : StrictMono thermalTemperature · Prove2Me