P
Initializing...
Brumer's theorem: Leopoldt's conjecture for abelian extensions of $\mathbb{Q}$ · Prove2Me