isLindelof

URI: https://gptkb.org/prop/isLindelof
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Euclidean_topology true
gptkb:co-countable_topology true