P
Initializing...
Galois equivariance of the semilocal $p$-adic logarithm · Prove2Me