P
Initializing...
Theorem 4.3 (2): a polycyclic group with no nilpotent subgroup of finite index grows at least exponentially · Prove2Me