Gromov's compactness theorem

Gromov's compactness theorem can refer to either of two mathematical theorems: