`BookProof.ChapterDisplacedThermalOverlap.displacedThermal_mean` (a : ℝ) (nbar : ℝ≥0) : ∫ x, x ∂(displacedThermal a nbar) = a

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.displacedThermal_mean` (a : ℝ) (nbar : ℝ≥0) : ∫ x, x ∂(displacedThermal a nbar) = a · Prove2Me