P
Initializing...
Leopoldt's conjecture via $r$ Galois conjugates of a Minkowski unit · Prove2Me