Prefer a chat interface with context about you and your work?
Fields of constants of integral derivations on a $p$-adic field
Let ${K_0}$ be a