Every smooth p-adic Lie group admits a compatible analytic structure

Helge Glockner

We show that every finite-dimensional p-adic Lie group of class C^k admits a C^k-compatible analytic Lie group structure.