isClosedSubgroupOf

URI: https://gptkb.org/prop/isClosedSubgroupOf
2 triples
GPTKB property
Random triples
Subject Object
gptkb:SO(N,_ℝ) GL(N, ℝ)
gptkb:Special_Linear_Group_of_degree_n_over_the_complex_numbers General Linear Group of degree n over the complex numbers