Milnor–Švarc lemma (source code)

= 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>.