topology Directory Reference

Directory dependency graph for topology:

Files
	neighborhood.cppm
	The Rules of Continuity (Neighborhoods, Limits, and Cuts).
	topology.cppm
	Open-sets, neighbourhood filters, and continuity witnesses.