Alexandrov spaces

GPTKB entity