Aleksandrov's uniqueness theorem

GPTKB entity