$\log_p x = \log_p(x^{p^k})/p^k$ on principal units · Prove2Me

P

Initializing...

$\log_p x = \log_p(x^{p^k})/p^k$ on principal units · Prove2Me