@misc{indiciae9f9e83e0425c,
  title = {What is a metric space?},
  author = {Stephen Semmes},
  year = {2007},
  url = {https://arxiv.org/abs/0709.1676},
  note = {Source identifier: 0709.1676}
}