isLinearGroupOver

URI: https://gptkb.org/prop/isLinearGroupOver
3 triples
GPTKB property
Random triples
Subject Object
gptkb:SL(2,3) gptkb:finite_field_of_order_3
gptkb:SL_2(ℤ) ℤ
gptkb:GL(n,C) C