Lie's third theorem

GPTKB entity