finiteIf

URI: https://gptkb.org/prop/finiteIf
2 triples
GPTKB property
Random triples
Subject Object
gptkb:special_linear_group_SL(n,q) q is finite
gptkb:Triangle_Group 1/l + 1/m + 1/n > 1