`BookProof.ChapterCoherentThermalFidelity.coherentThermalFidelity_width_eq` (nbar : ℝ) : nbar + 1 = thermalTemperature nbar + coherentWidth

Initializing...

`BookProof.ChapterCoherentThermalFidelity.coherentThermalFidelity_width_eq` (nbar : ℝ) : nbar + 1 = thermalTemperature nbar + coherentWidth · Prove2Me