Universal covering group of SL(2, R)

GPTKB entity