Universal covering group (source code)

= Universal covering group

The <unique> group referred to at: <every Lie algebra has a unique single corresponding simply connected Lie group>.