is a real Lie group of dimension

1 triples
GPTKB property

Random triples