`BookProof.ChapterCoherentThermalFidelity.dtOverlap_vacuum_width` : ((0 : NNReal) : ℝ) + 1 / 2 + (((0 : NNReal) : ℝ) + 1 / 2) = coherentWidth + coherentWidth

Initializing...

`BookProof.ChapterCoherentThermalFidelity.dtOverlap_vacuum_width` : ((0 : NNReal) : ℝ) + 1 / 2 + (((0 : NNReal) : ℝ) + 1 / 2) = coherentWidth + coherentWidth · Prove2Me