P
Initializing...
The symmetric group is the smallest non-Abelian finite quotient for n at least five (Theorem 2.7 (iii)) · Prove2Me