Virtually free group (source code)

= Virtually free group
{wiki}

A group is virtually free when it has a <free group> as a finite-index subgroup. Every finitely generated virtually free group is quasi-isometric to a tree.