|
gptkb:general_linear_group_GL(n,R)
|
true
|
|
gptkb:SO_{n+1}(C)
|
true
|
|
gptkb:PSL_2(C)
|
true
|
|
gptkb:GL(n,C)
|
true
|
|
gptkb:general_linear_group_GL(n+1,C)
|
true
|
|
gptkb:special_orthogonal_group_SO(n,_C)
|
true
|
|
gptkb:general_linear_group
|
true
|
|
gptkb:SL(2,_F)
|
true
|
|
gptkb:Special_Linear_Group_of_3x3_Complex_Matrices
|
true
|
|
gptkb:SL(n,C)
|
true
|
|
gptkb:SO(10,C)
|
true
|
|
gptkb:GL(n,_C^n)
|
true
|
|
gptkb:special_linear_group_SL(n,_C)
|
true
|
|
gptkb:general_linear_group_GL(n,_C)
|
true
|
|
gptkb:SO(32)
|
true
|
|
gptkb:general_linear_group_GL(n,C)
|
true
|
|
gptkb:SO(10,R)
|
true
|
|
gptkb:symplectic_group_over_finite_field
|
true
|
|
gptkb:symplectic_group_over_algebraic_closure
|
true
|
|
gptkb:SL(n,_ℂ)
|
true
|