`BookProof.ChapterDisplacedThermalOverlap.dtOverlap_eq` (nbar : ℝ≥0) (a b : ℝ) : dtOverlap nbar a b = Real.exp (-(a - b) ^ 2 / (4 * ((nbar : ℝ) + 1 / 2))) / Real.sqrt (4 * π * ((nb

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.dtOverlap_eq` (nbar : ℝ≥0) (a b : ℝ) : dtOverlap nbar a b = Real.exp (-(a - b) ^ 2 / (4 * ((nbar : ℝ) + 1 / 2))) / Real.sqrt (4 * π * ((nb · Prove2Me