MathHypertextBook A math resource. https://lain69.github.io/MathHypertextBook//topology_of_reals.html