{"ref":"v8.4","ref_type":"tag","master_branch":"master","description":"This library develops some basic set theory. The main purpose I had in writing it was as support for the Topology library.","pusher_type":"user"}