`BookProof.ChapterDisplacedThermalOverlap.gaussianPDFReal_mul_gaussianPDFReal` (a b : ℝ) {v : ℝ≥0} (hv : v ≠ 0) (x : ℝ) : gaussianPDFReal a v x * gaussianPDFReal b v x = (Real.exp

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.gaussianPDFReal_mul_gaussianPDFReal` (a b : ℝ) {v : ℝ≥0} (hv : v ≠ 0) (x : ℝ) : gaussianPDFReal a v x * gaussianPDFReal b v x = (Real.exp · Prove2Me