Source: wikibot/gromov-hausdorff-convergence

= Gromov–Hausdorff convergence
{wiki=Gromov–Hausdorff_convergence}