P
Initializing...
Functoriality of the semilocal units $U_p$ along an extension of number fields · Prove2Me