isUniversalCover

URI: https://gptkb.org/prop/isUniversalCover
2 triples
GPTKB property
Random triples
Subject Object
gptkb:SL(2,_F) true for PSL(2, F)
gptkb:SO(1,3)^+ gptkb:SL(2,C)