contains as subgroups

URI: https://gptkb.org/prop/contains_as_subgroups
1 triples
GPTKB property
Random triples
Subject Object
gptkb:GL_{2n}(F) GL_{k}(F) for k ≤ 2n