Milnor–Švarc lemma
= Milnor–Švarc lemma
{c}
{wiki}
If a group acts properly discontinuously, cocompactly, and isometrically on a proper geodesic metric space, then the group is finitely generated and every orbit map from a word metric is a <quasi-isometry>.