`BookProof.ChapterDisplacedThermalOverlap.tauNN_eq_thermalTemperature` (nbar : ℝ≥0) : ((tauNN nbar : ℝ≥0) : ℝ) = BookProof.ChapterCoherentTemperature.thermalTemperature (nbar : ℝ)

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.tauNN_eq_thermalTemperature` (nbar : ℝ≥0) : ((tauNN nbar : ℝ≥0) : ℝ) = BookProof.ChapterCoherentTemperature.thermalTemperature (nbar : ℝ) · Prove2Me