P
Initializing...
Theorem 3.11: a finite-index subgroup is finitely generated, and polynomial growth passes up to the group · Prove2Me