`BookProof.ChapterDisplacedThermalMulti.dtOverlapMulti_eq_integral` (nbar : ℝ≥0) (a b : EuclideanSpace ℝ (Fin n)) : dtOverlapMulti nbar a b = ∫ x : Fin n → ℝ, ∏ i, (gaussianPDFReal

Initializing...

`BookProof.ChapterDisplacedThermalMulti.dtOverlapMulti_eq_integral` (nbar : ℝ≥0) (a b : EuclideanSpace ℝ (Fin n)) : dtOverlapMulti nbar a b = ∫ x : Fin n → ℝ, ∏ i, (gaussianPDFReal · Prove2Me