co-countable topology

GPTKB entity