Delta integral from t to sigma(t)
From timescalewiki
(Redirected from Integral from t to sigma(t))
Theorem
The following formula holds: $$\int_t^{\sigma(t)} f(\tau) \Delta \tau = \mu(t)f(t),$$ where $\int$ denotes the delta integral, $\sigma$ denotes the forward jump, and $\mu$ denotes the forward graininess.
