@misc{indiciaeb9543d3a8977,
  title = {Formalizing the Gromov-Hausdorff space},
  author = {Sébastien Gouëzel},
  year = {2021},
  url = {https://arxiv.org/abs/2108.13660},
  note = {Source identifier: 2108.13660}
}