`BookProof.ChapterDisplacedThermalOverlap.displacedThermal_variance` (a : ℝ) (nbar : ℝ≥0) : Var[id; displacedThermal a nbar] = (nbar : ℝ) + 1 / 2

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.displacedThermal_variance` (a : ℝ) (nbar : ℝ≥0) : Var[id; displacedThermal a nbar] = (nbar : ℝ) + 1 / 2 · Prove2Me