hasBorelSubgroup

5 triples
GPTKB property

Random triples
Subject Object
gptkb:SL_2(R)_(in_analytic_topology) upper triangular matrices with determinant 1
gptkb:SL(2,_R) upper triangular matrices with determinant 1
gptkb:GL(2n,q) true
gptkb:SL(3,C) true
gptkb:SL(2,_ℝ) yes