Neukirch–Uchida theorem

GPTKB entity