P
Initializing...
Kernel of the semilocal $p$-adic logarithm on principal semilocal units is the torsion · Prove2Me