`BookProof.ChapterCoherentThermalFidelity.dtOverlap_width_eq_two_tau` (nb : NNReal) : ((nb : ℝ) + 1 / 2) + ((nb : ℝ) + 1 / 2) = thermalTemperature (nb : ℝ) + thermalTemperature (nb

Initializing...

`BookProof.ChapterCoherentThermalFidelity.dtOverlap_width_eq_two_tau` (nb : NNReal) : ((nb : ℝ) + 1 / 2) + ((nb : ℝ) + 1 / 2) = thermalTemperature (nb : ℝ) + thermalTemperature (nb · Prove2Me