Stone representation theorem

GPTKB entity