P
Initializing...
The semilocal unit group $U$ has $\mathbb{Z}_p$-rank $[K:\mathbb{Q}]$ · Prove2Me