Alexandrov's theorem

GPTKB entity