P
Initializing...
The $p$-adic logarithm is a homomorphism on principal units · Prove2Me