p-adic integers

GPTKB entity