is a real Lie group

14 triples
GPTKB property