A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA.
The Feit–Thompson theorem, that infinite simple groups that are not cyclic groups have even order, was based on the hypothesis of some, and therefore some minimal, simple group G of odd order.
Hunter S. Thompson | Richard Thompson | Richard Thompson (musician) | Fred Thompson | Tommy Thompson | Danny Thompson | Thompson | Thompson submachine gun | Thompson River | James R. Thompson | William Hale Thompson | Emma Thompson | Thompson Twins | Thompson Square | Dorothy Thompson | Liouville's theorem | Jenny Thompson | Gina Thompson | Francis Thompson | Ernest Thompson Seton | Thompson Country | Ronny Thompson | Daley Thompson | Vicki Lewis Thompson | Sir Henry Thompson, 1st Baronet | Porl Thompson | Nucky Thompson | Linda Thompson (singer) | Linda Thompson | Kim Thompson |
Roncali was the eldest son of Agustín de Roncali y Martínez de Murcia, Knight of Santiago, and his wife María del Carmen Ceruti y Feit.