`BookProof.ChapterCoherentThermalFidelity.dtOverlap_coherentParameter` (nb : NNReal) (a b : ℝ) : dtOverlap nb (Real.sqrt 2 * a) (Real.sqrt 2 * b) = Real.exp (-((a

Initializing...

`BookProof.ChapterCoherentThermalFidelity.dtOverlap_coherentParameter` (nb : NNReal) (a b : ℝ) : dtOverlap nb (Real.sqrt 2 * a) (Real.sqrt 2 * b) = Real.exp (-((a - b) ^ 2 / (((nb · Prove2Me