Leopoldt's conjecture iff the $p$-adic logarithms of the units are $\mathbb Z_p$-independent

Initializing...

Leopoldt's conjecture iff the $p$-adic logarithms of the units are $\mathbb Z_p$-independent · Prove2Me