connectedComponentOfIdentity

3 triples
GPTKB property

Random triples
Subject Object
gptkb:GL(n+1,_ℝ) matrices with positive determinant
gptkb:Special_Orthogonal_Group_in_N_dimensions true
gptkb:GL(2,_R) matrices with positive determinant