non-Archimedean geometry

GPTKB entity