Submetido

We prove that Claas Rover's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing a filtered simplicial complex on which $V\mathcal{G}$ acts, and then analyzing the descending links