p-adic analytic group

1. redirect pro-p group

{{R with possibilities}}