P
Initializing...
Leopoldt's conjecture holds for a CM field iff it holds for its maximal real subfield · Prove2Me