Talk:Distance Function of Metric Space is Continuous

New Name
I suggest renaming this page to:
 * Distance Function of Metric Space is Continuous Mapping

or
 * Distance Function of Metric Space is Continuous --Leigh.Samphier (talk) 22:45, 28 March 2020 (EDT)


 * The latter. Done. Keeping it simple as necessary. --prime mover (talk) 01:03, 29 March 2020 (EDT)