`BookProof.ChapterDisplacedThermalMulti.dtOverlapMulti_eq` (nbar : ℝ≥0) (a b : EuclideanSpace ℝ (Fin n)) : dtOverlapMulti nbar a b = Real.exp (-‖a - b‖ ^ 2 / (4 * ((nbar : ℝ) + 1 /

Initializing...

`BookProof.ChapterDisplacedThermalMulti.dtOverlapMulti_eq` (nbar : ℝ≥0) (a b : EuclideanSpace ℝ (Fin n)) : dtOverlapMulti nbar a b = Real.exp (-‖a - b‖ ^ 2 / (4 * ((nbar : ℝ) + 1 / · Prove2Me