P
Initializing...
Leopoldt's conjecture as a $\mathbb{Z}_p$-rank condition on the logarithms of any finite-index family of units · Prove2Me