CartanSubalgebraDimension

20 triples
GPTKB property