Loading paper
Elementary p-adic Lie groups have finite construction rank | Tomesphere