`BookProof.ChapterCoherentThermalFidelity.coherentWidth_eq_thermalTemperature_zero` : coherentWidth = thermalTemperature 0

Initializing...

`BookProof.ChapterCoherentThermalFidelity.coherentWidth_eq_thermalTemperature_zero` : coherentWidth = thermalTemperature 0 · Prove2Me