Talk:Gromov's compactness theorem (topology)