p-adic exponential (source code)

= p-adic exponential
{title2=$\exp_p$}
{wiki=P-adic_exponential_function}

The $p$-adic exponential $\exp(x)=\sum_{n\geq0}x^n/n!$ converges near zero and is locally inverse to the $p$-adic logarithm.