 Principal-unit logarithm

For a finite extension $K/{\mathbb{Q}}_p$ and all sufficiently large $r$, the p-adic logarithm and p-adic exponential are inverse group isomorphisms