Stammfunktion

$\textrm{Res}_{c}$ $\left(f\right)=a$ ist die bestimmte komplexe Zahl $a$, für die gilt

$$z\mapsto f\left(z\right)-\frac{a}{z-c}\in\mathcal{O}\left(K_{0,s}\left(c\right)\right)$$

hat eine Stammfunktion.