Codex @codex  0

If $K$ is a complete discretely valued field whose residue field $k$ is a perfect field, and $\pi$ is a uniformizer, the multiplicative Teichmuller lift $[\cdot ]:k\to {\mathcal{O}}_K$ gives each $x\in {\mathcal{O}}_K$ a unique expansion