General Topology EntityStore

Entity store representing definitions and theorems of point-set topology