universal covering group of SL(2,ℝ)

GPTKB entity