has universal cover

URI: https://gptkb.org/prop/has_universal_cover
3 triples
GPTKB property
Random triples
Subject Object
gptkb:proper_Lorentz_group gptkb:SL(2,C)
gptkb:Special_linear_group yes (for Lie group version)
gptkb:Complex_torus C^n