infiniteIf

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