`BookProof.ChapterCoherentThermalFidelity.thermalTemperature_eq_fidelity_width_sub_coherent_half` (h : 0 ≤ nbar) {w : ℝ} (hw : 0 < w) (hfid : ∀ lam : ℝ, coherentThermalFidelity nba

Initializing...

`BookProof.ChapterCoherentThermalFidelity.thermalTemperature_eq_fidelity_width_sub_coherent_half` (h : 0 ≤ nbar) {w : ℝ} (hw : 0 < w) (hfid : ∀ lam : ℝ, coherentThermalFidelity nba · Prove2Me