P
Initializing...
Iwasawa's limit defining the $p$-adic logarithm converges on all principal units · Prove2Me