Gromov%e2%80%93hausdorff Convergence

Sorry, we're still building and haven't quite gotten to this subject yet.