isNotResiduallyFinite

URI: https://gptkb.org/prop/isNotResiduallyFinite
1 triples
GPTKB property
Random triples
Subject Object
gptkb:BS(m,_n) if |m| ≠ 1, |n| ≠ 1, and |m| ≠ |n|