Alexandrov's uniqueness theorem

GPTKB entity