infiniteFor

URI: https://gptkb.org/prop/infiniteFor
3 triples
GPTKB property
Random triples
Subject Object
gptkb:projective_special_linear_group_PSL(n,q) infinite q
gptkb:orthogonal_groups complex numbers
gptkb:orthogonal_groups real numbers