isLieGroupOfType

URI: https://gptkb.org/prop/isLieGroupOfType
1 triples
GPTKB property
Random triples
Subject Object
gptkb:projective_linear_group_PGL(n,_C) A_{n-1}