edit July 14, 2026 by jlamprecht https://en.wikipedia.org/w/index.php?title=Metric_space&action=edit§ion=41
