User:Bark10731/sandbox

$$ \frac{d}{dx}\int_{a}^{x}f(t)dt = f(x),\quad a \in \mathbb{R}. $$