simply connected cover

URI: https://gptkb.org/prop/simply_connected_cover
2 triples
GPTKB property
Random triples
Subject Object
gptkb:special_orthogonal_group_SO(10) gptkb:Spin(10)
gptkb:SO(32)_group gptkb:Spin(32)