`BookProof.ChapterCoherentThermalFidelity.width_unique` (h : 0 ≤ nbar) {w : ℝ} (hw : 0 < w) (hfid : ∀ lam : ℝ, coherentThermalFidelity nbar lam = Real.exp (-(lam / w)) / w) : w = n

Initializing...

`BookProof.ChapterCoherentThermalFidelity.width_unique` (h : 0 ≤ nbar) {w : ℝ} (hw : 0 < w) (hfid : ∀ lam : ℝ, coherentThermalFidelity nbar lam = Real.exp (-(lam / w)) / w) : w = n · Prove2Me