`BookProof.ChapterDisplacedThermalOverlap.inverseTemperature_strictAnti` : StrictAnti inverseTemperature

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.inverseTemperature_strictAnti` : StrictAnti inverseTemperature · Prove2Me