P
Initializing...
The commutator subgroup is perfect for n at least five (Theorem 2.7 (ii)) · Prove2Me