Gromov compactness theorem

GPTKB entity