P
Initializing...
A norm-compatible ring homomorphism commutes with the $p$-adic logarithm · Prove2Me