Stone's representation theorem

GPTKB entity