P
Initializing...
The $p$-adic logarithm of a Galois conjugate of a global unit · Prove2Me