P

Initializing...

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