P
Initializing...
Every automorphism acts on the commutator layer with the eigenvalue one (Theorem 11) · Prove2Me