128 (1 : ℂ) + (H.Δ : ℂ) / ((1 : ℂ) + Complex.I * (ω : ℂ) * (H.τ : ℂ)) 129 130 131/-- The Debye exponential kernel for a single-timescale response: 132\[ 133\Gamma(t) = \frac{\Delta}{\tau} e^{-t/\tau},\quad t \ge 0. 134\] 135We treat it as a function on `ℝ` and integrate it on `[0,B]` (then take `B → ∞`). -/
used by (3)
From the project-wide theorem graph. These declarations reference this one in their body.