P
Initializing...
Theorem 4.3: a polycyclic group has polynomial growth or exponential growth · Prove2Me