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

Initializing...

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