Gromov's compactness theorem

In Riemannian geometry is Gromov's compactness theorem states that the set of Riemannian manifolds with Ricci curvature ≥ c and diameter ≤ D is pre-compact in the Gromov-Hausdorff metric.