Loading paper
Conciseness of compact $R$-analytic groups | Tomesphere