Cohomology and Extensions
This is due to (Feit-Thompson 1962).
A fully formalized proof in Coq has been announced in (INRIA 2012)
- Walter Feit, John Thompson, A solvability criterion for finite groups and some consequences, Proc. Nat. Acad. Sci. 48 (6): 968–970, (JSTOR)
Created on October 31, 2012 23:38:50
by Urs Schreiber