isNonCompactLieGroup

URI: https://gptkb.org/prop/isNonCompactLieGroup
3 triples
GPTKB property
Random triples
Subject Object
gptkb:GL(n,_C^n) true
gptkb:GL(n,C) true
gptkb:Special_Linear_Group_of_degree_n_over_the_complex_numbers true