Feit-Thompson theorem, major result of group theory, formally certified with Coqmsr-inria.inria.fr9 pointsweinzierl14 years ago