P
Initializing...
Higher-prime subgroups centralize normal pro-$p$ subgroups · Prove2Me