Every Lie group that has a given Lie algebra is the image of an homomorphism from the universal cover group (source code)

= Every Lie group that has a given Lie algebra is the image of an homomorphism from the universal cover group