compact form is

URI: https://gptkb.org/prop/compact_form_is
2 triples
GPTKB property
Random triples
Subject Object
gptkb:E8_Lie_group simply connected
gptkb:E8_(Lie_group) simply connected