e/Covering group

Information
has gloss	eng: In mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : G → H is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which H has index 2 in G; examples include the Spin groups, Pin groups, and metaplectic groups.
lexicalization	eng: covering group
instance of	e/Lie group