Lévy's constant

GPTKB entity