P
Initializing...
A global unit has zero semilocal logarithm precisely when it is torsion · Prove2Me