Closed graph theorem

GPTKB entity