P

Initializing...

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