P

Initializing...

From the rank of the group matrix of $\log_p$ at one prime to $\mathbb{Z}_p$-independent semilocal logarithms of conjugates · Prove2Me