P
Initializing...
Proposition 3.6: the growth function of a free abelian group of rank $n$ · Prove2Me