Keyword:Gromov-Hausdorff space

Papers
Formalizing the Gromov-Hausdorff Space Sébastien Gouëzel EasyChair Preprint no. 6179