P
Initializing...
Leopoldt's conjecture for totally complex quartic fields · Prove2Me