Why's it called Hahn distance? Probably after Hans Hahn, which I know from the Hahn-Banach theorem, but afaik his work was mostly on real analysis and topology, so what does it have to do with the graph distance?
– Sintel🎏 (talk) 10:56, 27 April 2025 (UTC)