P
Initializing...
Local norms of $w$-adic integers are $v$-adic integers · Prove2Me