P
Initializing...
Galois conjugation preserves vanishing of all semilocal unit logarithms · Prove2Me