Lie's second theorem

GPTKB entity