Some simplifications in the proof of the Sims conjecture
Categories
Group Theory
20B15, 20F69