`BookProof.ChapterDisplacedThermalOverlap.thermal_plus_zeroPoint_conv` (nbar : ℝ≥0) : (gaussianReal 0 nbar) ∗ (gaussianReal 0 (1 / 2)) = gaussianReal 0 (tauNN nbar)

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.thermal_plus_zeroPoint_conv` (nbar : ℝ≥0) : (gaussianReal 0 nbar) ∗ (gaussianReal 0 (1 / 2)) = gaussianReal 0 (tauNN nbar) · Prove2Me